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.n
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
Why not try https://github.com/mstorsjo/llvm-mingw, use clang with lld
linker directly and libcxx c++ library.
Edward Diener 于 2018年11月21日周三 23:17写道：
> On 11/21/2018 9:53 AM, Ozkan Sezer wrote:
> > On 11/21/18, Edward Diener wrote:
> > [...]
> >> Unfortunately this did not solve the problem usi
From: SquallATF
libcxx defined `_LIBCPP_SAFE_STATIC` for static variable, if use winpthreads
need `PTHREAD_*_INITIALIZER` constant, but current version have
`reinterpret_cast` to convert integer initial value to pointer,
`__attribute__((__require_constant_initialization__))` not allowed this d
Sorry, this is my first time use git send-email.
I will try to rewrite patch use `intptr_t` directly.
JonY 于2018年10月25日周四 下午5:51写道：
> On 10/25/2018 07:36 AM, Liu Hao wrote:
> > 在 2018/10/25 下午3:06, Peiyuan Song 写道:
> >> From: SquallATF
> >>
&g
From: SquallATF
Signed-off-by: SquallATF
---
.../winpthreads/include/pthread.h | 42 +-
mingw-w64-libraries/winpthreads/src/cond.c| 56 +-
mingw-w64-libraries/winpthreads/src/mutex.c | 27 -
mingw-w64-libraries/winpthreads/src/rwlock.c | 57
