mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-03 21:09:11 +00:00
Code Activity

Fixed non-Windows preprocessor options.

Browse source 
Fixes #463
This commit is contained in:
Christoph M. Wintersteiger 2016-03-05 17:14:19 +00:00
parent f34e15f289
commit 03a8ef2795
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
scripts/mk_util.py
View file

@ -2351,7 +2351,9 @@ def mk_config():
LDFLAGS = '%s -m32' % LDFLAGS LDFLAGS = '%s -m32' % LDFLAGS
SLIBFLAGS = '%s -m32' % SLIBFLAGS SLIBFLAGS = '%s -m32' % SLIBFLAGS
if DEBUG_MODE: if DEBUG_MODE:
CPPFLAGS = '%s -DZ3DEBUG' % CPPFLAGS CPPFLAGS = '%s -DZ3DEBUG -D_DEBUG' % CPPFLAGS
else:
CPPFLAGS = '%s -DNDEBUG -D_EXTERNAL_RELEASE' % CPPFLAGS
if TRACE or DEBUG_MODE: if TRACE or DEBUG_MODE:
CPPFLAGS = '%s -D_TRACE' % CPPFLAGS CPPFLAGS = '%s -D_TRACE' % CPPFLAGS
config.write('PREFIX=%s\n' % PREFIX) config.write('PREFIX=%s\n' % PREFIX)
@ -3471,7 +3473,7 @@ def mk_vs_proj_cl_compile(f, name, components, debug):
if debug: if debug:
f.write(' <PreprocessorDefinitions>WIN32;_DEBUG;Z3DEBUG;_TRACE;_MP_INTERNAL;_WINDOWS;%(PreprocessorDefinitions)</PreprocessorDefinitions>\n') f.write(' <PreprocessorDefinitions>WIN32;_DEBUG;Z3DEBUG;_TRACE;_MP_INTERNAL;_WINDOWS;%(PreprocessorDefinitions)</PreprocessorDefinitions>\n')
else: else:
f.write(' <PreprocessorDefinitions>WIN32;_NDEBUG;_MP_INTERNAL;_WINDOWS;%(PreprocessorDefinitions)</PreprocessorDefinitions>\n') f.write(' <PreprocessorDefinitions>WIN32;NDEBUG;_MP_INTERNAL;_WINDOWS;%(PreprocessorDefinitions)</PreprocessorDefinitions>\n')
if VS_PAR: if VS_PAR:
f.write(' <MinimalRebuild>false</MinimalRebuild>\n') f.write(' <MinimalRebuild>false</MinimalRebuild>\n')
f.write(' <MultiProcessorCompilation>true</MultiProcessorCompilation>\n') f.write(' <MultiProcessorCompilation>true</MultiProcessorCompilation>\n')