Message-
> From: Kacvinsky, Tom
> Sent: Tuesday, November 12, 2019 8:02 AM
> To: mingw-w64-public@lists.sourceforge.net
> Subject: Re: [Mingw-w64-public] Weird issue with UCRT and custom tool
> chain
>
> Which version of binutils? I am using 2.32
>
> > -Origin
Which version of binutils? I am using 2.32
> -Original Message-
> From: Peiyuan Song
> Sent: Monday, November 11, 2019 8:47 PM
> To: mingw-w64-public@lists.sourceforge.net
> Subject: Re: [Mingw-w64-public] Weird issue with UCRT and custom tool
> chain
>
> I u
在 2019/11/11 22:11, Kacvinsky, Tom 写道:
> 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 b
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 i
et
> > 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 于 2019年11月11日周一
> > 22:31写
Hi,
> -Original Message-
> From: Peiyuan Song
> Sent: Monday, November 11, 2019 10:16 AM
> To: mingw-w64-public@lists.sourceforge.net
> Subject: Re: [Mingw-w64-public] Weird issue with UCRT and custom tool
> chain
>
> I have build z3 with llvm9 + mingw64 + UCRT,
I have build z3 with llvm9 + mingw64 + UCRT, it works fine.
Kacvinsky, Tom 于 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
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
