On Mon, 11 Nov 2019, Kacvinsky, Tom wrote:
On my machine, both Z3 built with the custom MinGW-w64 toolchain and Visual Studio 2017 work fine wit the UCRT installed on my machine (Windows 10), but on our automation test machines (Windows 7), there is an issue loading the libz3 DLL. The error is that the UCRT DLL api-ms-win-crt-runtime-l1-1-0.dll fails to load as it needs the entry calloc().
Does other software built with UCRT work on the same machine, i.e. is it only an issue with this particular library, or with UCRT on Windows 7 in general?
The first thing to check is that you actually has UCRT installed there. UCRT is only available out of the box on Windows 10, but there's a redistributable package available somewhere that lets you install it on older systems.
If a library built with MSVC works, it could also be a case where MSVC has linked the CRT statically into the executable, avoiding needing it installed.
// Martin _______________________________________________ Mingw-w64-public mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/mingw-w64-public
