I using mingw-w64 commit is 2ce6f4b1548453818fa71c89c88fed5f7f4d508b
Kacvinsky, Tom 于2019年11月12日周二 上午2:12写道：
> 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-publ
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, it works fine.
>
That,
...
From 30f3a011c4457613f2245bc049ffd3f47050994f Mon Sep 17 00:00:00 2001
From: Biswapriyo Nath
Date: Mon, 11 Nov 2019 20:56:01 +0530
Subject: [PATCH] crt/gdi32: update import library
Signed-off-by: Biswapriyo Nath
---
mingw-w64-crt/lib-common/gdi32.def | 172 +-
mingw-w64-crt/lib32/gd
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
