I have build z3 with llvm9 + mingw64 + UCRT, it works fine. Kacvinsky, Tom <[email protected]> 于 2019年11月11日周一 22:31写道：
> AS you know, I had to build a custom GCC toolchain with UCRT support in > the MinGW-w64. > > What I did next (aside from building our product) is build Microsoft's Z3 > theorem prover > software. > > Here is the weird thing: > > 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(). > > This is odd in the sense that from what I can see, the UCRT library > referended above doesn't > have a dependency on api-ms-win-crt-heap-l1-1-0.dll, in which calloc is > defined and exported. > > Any ideas on the next diagnostic steps. I find it strange that Visual > Studio built Z3 works on > both classes of machines, but the MinGW-w64 built Z3 doesn't. It makes me > wonder if there > is an issue with how the MinGW-w64 CRT (UCRT based) is generating the lib > files used for > linking, so we have entry point errors. > > Thanks, > > Tom > > > _______________________________________________ > Mingw-w64-public mailing list > [email protected] > https://lists.sourceforge.net/lists/listinfo/mingw-w64-public > _______________________________________________ Mingw-w64-public mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/mingw-w64-public
