mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-04 05:19:11 +00:00
Code Activity

Fixed C example build.

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2017-11-08 18:22:17 +00:00
parent a8b52419f5
commit bec6c3f9e2
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
scripts/mk_util.py
View file

@ -2343,6 +2343,7 @@ def mk_config():
'CC=cl\n' 'CC=cl\n'
'CXX=cl\n' 'CXX=cl\n'
'CXX_OUT_FLAG=/Fo\n' 'CXX_OUT_FLAG=/Fo\n'
'C_OUT_FLAG=/Fo\n'
'OBJ_EXT=.obj\n' 'OBJ_EXT=.obj\n'
'LIB_EXT=.lib\n' 'LIB_EXT=.lib\n'
'AR=lib\n' 'AR=lib\n'
@ -2538,6 +2539,7 @@ def mk_config():
config.write('CFLAGS=%s %s\n' % (CPPFLAGS, CXXFLAGS.replace('-std=c++11', ''))) config.write('CFLAGS=%s %s\n' % (CPPFLAGS, CXXFLAGS.replace('-std=c++11', '')))
config.write('EXAMP_DEBUG_FLAG=%s\n' % EXAMP_DEBUG_FLAG) config.write('EXAMP_DEBUG_FLAG=%s\n' % EXAMP_DEBUG_FLAG)
config.write('CXX_OUT_FLAG=-o \n') config.write('CXX_OUT_FLAG=-o \n')
config.write('C_OUT_FLAG=-o \n')
config.write('OBJ_EXT=.o\n') config.write('OBJ_EXT=.o\n')
config.write('LIB_EXT=.a\n') config.write('LIB_EXT=.a\n')
config.write('AR=%s\n' % AR) config.write('AR=%s\n' % AR)