Linking problems on Windows (msys2+ucrt64)

[Febbe]

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.

[ahmed-irfan]

Can you please share your compilation script?

[Febbe]

There are two relevant files:
https://github.com/Febbe/bsc/blob/main/src/vendor/yices/Makefile
https://github.com/Febbe/bsc/blob/main/src/vendor/yices/v2.6/Makefile