Hi, > -----Original Message----- > From: Peiyuan Song <[email protected]> > Sent: Monday, November 11, 2019 10:16 AM > To: [email protected] > Subject: Re: [Mingw-w64-public] Weird issue with UCRT and custom tool > chain > > I have build z3 with llvm9 + mingw64 + UCRT, it works fine. >
That, unfortunately, is not helpful. :-( > 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. > > The git hash of the mingw-w64-crt repo I am using is 69af6ee195e65a29acc02a49119a833606424a1b if that is of any help. Tom _______________________________________________ Mingw-w64-public mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/mingw-w64-public
