I using mingw-w64 commit is 2ce6f4b1548453818fa71c89c88fed5f7f4d508b Kacvinsky, Tom <[email protected]> 于2019年11月12日周二 上午2:12写道：
> 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 > _______________________________________________ Mingw-w64-public mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/mingw-w64-public
