mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 20:18:18 +00:00
Code Activity

Fixed MSYS/MinGW build. Fixes #1335.

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2017-11-11 16:38:53 +00:00
parent 45975bec65
commit 7c63a5cc1d
2 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
scripts/mk_util.py
View file

@ -2510,8 +2510,8 @@ def mk_config():
SO_EXT = '.dll' SO_EXT = '.dll'
SLIBFLAGS = '-shared' SLIBFLAGS = '-shared'
elif sysname.startswith('MSYS_NT') or sysname.startswith('MINGW'): elif sysname.startswith('MSYS_NT') or sysname.startswith('MINGW'):
CXXFLAGS = '%s' % CXXFLAGS CXXFLAGS = '%s -D_MINGW' % CXXFLAGS
OS_DEFINES = '' OS_DEFINES = '-D_MINGW'
SO_EXT = '.dll' SO_EXT = '.dll'
SLIBFLAGS = '-shared' SLIBFLAGS = '-shared'
EXE_EXT = '.exe' EXE_EXT = '.exe'

2
src/interp/iz3interp.cpp
View file

@ -550,7 +550,7 @@ void interpolation_options_struct::apply(iz3base &b){
// On linux and mac, unlimit stack space so we get recursion // On linux and mac, unlimit stack space so we get recursion
#if defined(_WINDOWS) || defined(_CYGWIN) #if defined(_WINDOWS) || defined(_CYGWIN) || defined(_MINGW)
#else #else