Build Failing on Windows: libidris2_support.dll %1 is no win32-Aplication

[weiserhase]

Environment:

OS: Windows 10 Pro 10.0.19045
Idris Version: 0.6.0

Description:

I embarked on the installation process for Idris using the guidelines specified in the repository's installation guide. After ensuring all prerequisites were in place, I executed the command make bootstrap SCHEME=scheme && make install.

Initially, the process seemed to proceed without hitches. However, it terminated unexpectedly with the error message: Exception: (while loading libidris2_support.dll) %1 ist keine zulässige Win32-Anwendung. The detailed log of the error can be seen below:

make bootstrap && make install

make[1]: Entering directory '/home/Idris2/support'
make[2]: Entering directory '/home/Idris2/support/c'
make[2]: Nothing to be done for 'all'.
make[2]: Leaving directory '/home/Idris2/support/c'
make[2]: Entering directory '/home/Idris2/support/refc'
make[2]: Nothing to be done for 'all'.
make[2]: Leaving directory '/home/Idris2/support/refc'
make[2]: Entering directory '/home/Idris2/support/chez'
make[2]: Nothing to be done for 'all'.
make[2]: Leaving directory '/home/Idris2/support/chez'
make[1]: Leaving directory '/home/Idris2/support'
mkdir -p bootstrap-build/idris2_app
cp support/c/libidris2_support.dll bootstrap-build/idris2_app/
sed 's/libidris2_support.so/libidris2_support.dll/g; s|__PREFIX__|C:/msys64/home/Idris2/bootstrap-build|g' \
        bootstrap/idris2_app/idris2.ss \
        > bootstrap-build/idris2_app/idris2-boot.ss
/bin/sh ./bootstrap-stage1-chez.sh
Bootstrapping SCHEME=scheme IDRIS2_VERSION=0.6.0
Building idris2-boot from idris2-boot.ss
compiling idris2_app/idris2-boot.ss with output to idris2_app/idris2-boot.so
IDRIS2_CG="chez" /bin/sh ./bootstrap-stage2.sh
/home/Idris2/bootstrap-build
make[1]: Entering directory '/home/Idris2'
make -C libs/prelude IDRIS2=/home/Idris2/build/exec/idris2 IDRIS2_INC_CGS=chez IDRIS2_PATH="C:/msys64/home/Idris2/libs/prelude/build/ttc;C:/msys64/home/Idris2/libs/base/build/ttc;C:/msys64/home/Idris2/libs/linear/build/ttc;C:/msys64/home/Idris2/libs/network/build/ttc;C:/msys64/home/Idris2/libs/contrib/build/ttc;C:/msys64/home/Idris2/libs/test/build/ttc;"
make[2]: Entering directory '/home/Idris2/libs/prelude'
/home/Idris2/build/exec/idris2 --build prelude.ipkg
Exception: (while loading libidris2_support.dll) %1 ist keine zulässige Win32-Anwendung
make[2]: *** [Makefile:2: all] Error 127
make[2]: Leaving directory '/home/Idris2/libs/prelude'
make[1]: *** [Makefile:80: prelude] Error 2
make[1]: Leaving directory '/home/Idris2'
make: *** [Makefile:250: bootstrap] Error 2

Attempted Resolutions:

I have undertaken a complete reinstallation of all components, but the issue persists. I am uncertain of further steps to take and would appreciate guidance. There's a possibility I may have overlooked or misinterpreted a step during the installation.