I stumbled over linking issues while building the bscompiler:
First of all, the target name for Mingw64/UCRT64 in config.guess should be most likely ${UNAME_MACHINE}-w64-mingw32 instead of:
*:MINGW64*:*)
echo ${UNAME_MACHINE}-pc-mingw64
Second, when linking to lyices, I get the following linker warning:
[149 of 149] Linking bluetcl.exe [Objects changed]
ld.lld: warning: runtime pseudo relocation in C:/Users/Febbe/Desktop/ws/bsc-2024.07/bsc/src/comp/../../build/comp\Yices.o against symbol yices_build_arch is too narrow (only 32 bits wide); this can fail at runtime depending on memory layout
ld.lld: warning: runtime pseudo relocation in C:/Users/Febbe/Desktop/ws/bsc-2024.07/bsc/src/comp/../../build/comp\Yices.o against symbol yices_version is too narrow (only 32 bits wide); this can fail at runtime depending on memory layout
ld.lld: warning: runtime pseudo relocation in C:/Users/Febbe/Desktop/ws/bsc-2024.07/bsc/src/comp/../../build/comp\Yices.o against symbol yices_version is too narrow (only 32 bits wide); this can fail at runtime depending on memory layout
The application crashes with:
Mingw-w64 runtime failure:
32 bit pseudo relocation at 00007FF60C9531A4 out of range, targeting 00007FFF1DE00880, yielding the value 00000009114AD6D8.
It looks like, yices is build as 32 bit library.
I stumbled over linking issues while building the bscompiler:
First of all, the target name for Mingw64/UCRT64 in
config.guessshould be most likely ${UNAME_MACHINE}-w64-mingw32 instead of:Second, when linking to lyices, I get the following linker warning:
The application crashes with:
It looks like, yices is build as 32 bit library.