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

Assuming VS x64 command prompt

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2012-10-25 22:02:24 -07:00
parent 1bc10f2a37
commit dfd737aa66
5 changed files with 23 additions and 20 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
scripts/config-vs-debug-x64.mk
View file

@ -1,4 +1,4 @@
CXX="$(VSINSTALLDIR)VC\Bin\x86_amd64\cl" CXX=cl
CXXFLAGS=/c /ZI /nologo /W3 /WX- /Od /Oy- /D WIN32 /D _AMD64_ /D _DEBUG /D Z3DEBUG /D _CONSOLE /D _TRACE /D _WINDOWS /Gm /EHsc /RTC1 /MDd /GS /fp:precise /Zc:wchar_t /Zc:forScope /openmp /Gd /analyze- CXXFLAGS=/c /ZI /nologo /W3 /WX- /Od /Oy- /D WIN32 /D _AMD64_ /D _DEBUG /D Z3DEBUG /D _CONSOLE /D _TRACE /D _WINDOWS /Gm /EHsc /RTC1 /MDd /GS /fp:precise /Zc:wchar_t /Zc:forScope /openmp /Gd /analyze-
CXX_OUT_FLAG=/Fo CXX_OUT_FLAG=/Fo
OBJ_EXT=.obj OBJ_EXT=.obj
@ -7,13 +7,13 @@ AR=lib
AR_FLAGS=/nologo AR_FLAGS=/nologo
AR_OUTFLAG=/OUT: AR_OUTFLAG=/OUT:
EXE_EXT=.exe EXE_EXT=.exe
LINK="$(VSINSTALLDIR)VC\Bin\x86_amd64\cl" LINK=cl
LINK_FLAGS=/nologo /MDd LINK_FLAGS=/nologo /MDd
LINK_EXTRA_FLAGS=/link /DEBUG /MACHINE:X64 /SUBSYSTEM:CONSOLE /INCREMENTAL:NO /STACK:8388608 /OPT:REF /OPT:ICF /TLBID:1 /DYNAMICBASE /NXCOMPAT LINK_EXTRA_FLAGS=/link /DEBUG /MACHINE:X64 /SUBSYSTEM:CONSOLE /INCREMENTAL:NO /STACK:8388608 /OPT:REF /OPT:ICF /TLBID:1 /DYNAMICBASE /NXCOMPAT
LINK_OUT_FLAG=/Fe LINK_OUT_FLAG=/Fe
SO_EXT=.dll SO_EXT=.dll
SLINK="$(VSINSTALLDIR)VC\Bin\x86_amd64\cl" SLINK=cl
SLINK_FLAGS=/nologo /LDd SLINK_FLAGS=/nologo /LDd
SLINK_EXTRA_FLAGS=/link /DEBUG /MACHINE:X64 /SUBSYSTEM:WINDOWS /INCREMENTAL:NO /STACK:8388608 /OPT:REF /OPT:ICF /TLBID:1 /DYNAMICBASE:NO SLINK_EXTRA_FLAGS=/link /DEBUG /MACHINE:X64 /SUBSYSTEM:WINDOWS /INCREMENTAL:NO /STACK:8388608 /OPT:REF /OPT:ICF /TLBID:1 /DYNAMICBASE:NO
SLINK_OUT_FLAG=/Fe SLINK_OUT_FLAG=/Fe

6
scripts/config-vs-debug.mk
View file

@ -1,5 +1,5 @@
CXX=cl CXX=cl
CXXFLAGS=/c /ZI /nologo /W3 /WX- /Od /Oy- /D "WIN32" /D "_DEBUG" /D "Z3DEBUG" /D "_CONSOLE" /D "_TRACE" /D "_WINDOWS" /Gm /EHsc /RTC1 /MDd /GS /fp:precise /Zc:wchar_t /Zc:forScope /openmp /Gd /analyze- CXXFLAGS=/c /ZI /nologo /W3 /WX- /Od /Oy- /D WIN32 /D _DEBUG /D Z3DEBUG /D _CONSOLE /D _TRACE /D _WINDOWS /Gm /EHsc /RTC1 /MDd /GS /fp:precise /Zc:wchar_t /Zc:forScope /openmp /Gd /analyze-
CXX_OUT_FLAG=/Fo CXX_OUT_FLAG=/Fo
OBJ_EXT=.obj OBJ_EXT=.obj
LIB_EXT=.lib LIB_EXT=.lib
@ -9,12 +9,12 @@ AR_OUTFLAG=/OUT:
EXE_EXT=.exe EXE_EXT=.exe
LINK=cl LINK=cl
LINK_FLAGS=/nologo /MDd LINK_FLAGS=/nologo /MDd
LINK_EXTRA_FLAGS=/link /DEBUG /MACHINE:X86 /SUBSYSTEM:CONSOLE /INCREMENTAL:NO /STACK:"8388608" /OPT:REF /OPT:ICF /TLBID:1 /DYNAMICBASE /NXCOMPAT LINK_EXTRA_FLAGS=/link /DEBUG /MACHINE:X86 /SUBSYSTEM:CONSOLE /INCREMENTAL:NO /STACK:8388608 /OPT:REF /OPT:ICF /TLBID:1 /DYNAMICBASE /NXCOMPAT
LINK_OUT_FLAG=/Fe LINK_OUT_FLAG=/Fe
SO_EXT=.dll SO_EXT=.dll
SLINK=cl SLINK=cl
SLINK_FLAGS=/nologo /LDd SLINK_FLAGS=/nologo /LDd
SLINK_EXTRA_FLAGS=/link /DEBUG /MACHINE:X86 /SUBSYSTEM:WINDOWS /INCREMENTAL:NO /STACK:"8388608" /OPT:REF /OPT:ICF /TLBID:1 /DYNAMICBASE:NO SLINK_EXTRA_FLAGS=/link /DEBUG /MACHINE:X86 /SUBSYSTEM:WINDOWS /INCREMENTAL:NO /STACK:8388608 /OPT:REF /OPT:ICF /TLBID:1 /DYNAMICBASE:NO
SLINK_OUT_FLAG=/Fe SLINK_OUT_FLAG=/Fe

6
scripts/config-vs-release-x64.mk
View file

@ -1,4 +1,4 @@
CXX="$(VSINSTALLDIR)VC\Bin\x86_amd64\cl" CXX=cl
CXXFLAGS=/c /Zi /nologo /W3 /WX- /O2 /D WIN32 /D NDEBUG /D _LIB /D _WINDOWS /D _AMD64_ /D _UNICODE /D UNICODE /Gm- /EHsc /MD /GS /fp:precise /Zc:wchar_t /Zc:forScope /Gd /TP CXXFLAGS=/c /Zi /nologo /W3 /WX- /O2 /D WIN32 /D NDEBUG /D _LIB /D _WINDOWS /D _AMD64_ /D _UNICODE /D UNICODE /Gm- /EHsc /MD /GS /fp:precise /Zc:wchar_t /Zc:forScope /Gd /TP
CXX_OUT_FLAG=/Fo CXX_OUT_FLAG=/Fo
OBJ_EXT=.obj OBJ_EXT=.obj
@ -7,13 +7,13 @@ AR=lib
AR_FLAGS=/nologo AR_FLAGS=/nologo
AR_OUTFLAG=/OUT: AR_OUTFLAG=/OUT:
EXE_EXT=.exe EXE_EXT=.exe
LINK="$(VSINSTALLDIR)VC\Bin\x86_amd64\cl" LINK=cl
LINK_FLAGS=/nologo /MD LINK_FLAGS=/nologo /MD
LINK_EXTRA_FLAGS=/link /MACHINE:X64 /SUBSYSTEM:CONSOLE /INCREMENTAL:NO /STACK:8388608 LINK_EXTRA_FLAGS=/link /MACHINE:X64 /SUBSYSTEM:CONSOLE /INCREMENTAL:NO /STACK:8388608
LINK_OUT_FLAG=/Fe LINK_OUT_FLAG=/Fe
SO_EXT=.dll SO_EXT=.dll
SLINK="$(VSINSTALLDIR)VC\Bin\x86_amd64\cl" SLINK=cl
SLINK_FLAGS=/nologo /LD SLINK_FLAGS=/nologo /LD
SLINK_EXTRA_FLAGS=/link /MACHINE:X64 /SUBSYSTEM:WINDOWS /INCREMENTAL:NO /STACK:8388608 SLINK_EXTRA_FLAGS=/link /MACHINE:X64 /SUBSYSTEM:WINDOWS /INCREMENTAL:NO /STACK:8388608
SLINK_OUT_FLAG=/Fe SLINK_OUT_FLAG=/Fe

6
scripts/config-vs-release.mk
View file

@ -1,5 +1,5 @@
CXX=cl CXX=cl
CXXFLAGS=/nologo /c /W3 /WX- /O2 /Oy- /D "WIN32" /D "NDEBUG" /D "_CONSOLE" /D "_WINDOWS" /D "ASYNC_COMMANDS" /Gm- /EHsc /GS /fp:precise /Zc:wchar_t /Zc:forScope /openmp /Gd /analyze- /arch:SSE2 CXXFLAGS=/nologo /c /W3 /WX- /O2 /Oy- /D WIN32 /D NDEBUG /D _CONSOLE /D _WINDOWS /D ASYNC_COMMANDS /Gm- /EHsc /GS /fp:precise /Zc:wchar_t /Zc:forScope /openmp /Gd /analyze- /arch:SSE2
CXX_OUT_FLAG=/Fo CXX_OUT_FLAG=/Fo
OBJ_EXT=.obj OBJ_EXT=.obj
LIB_EXT=.lib LIB_EXT=.lib
@ -9,13 +9,13 @@ AR_OUTFLAG=/OUT:
EXE_EXT=.exe EXE_EXT=.exe
LINK=cl LINK=cl
LINK_FLAGS=/nologo /MD LINK_FLAGS=/nologo /MD
LINK_EXTRA_FLAGS=/link /MACHINE:X86 /SUBSYSTEM:CONSOLE /INCREMENTAL:NO /STACK:"8388608" /OPT:REF /OPT:ICF /TLBID:1 /DYNAMICBASE /NXCOMPAT LINK_EXTRA_FLAGS=/link /MACHINE:X86 /SUBSYSTEM:CONSOLE /INCREMENTAL:NO /STACK:8388608 /OPT:REF /OPT:ICF /TLBID:1 /DYNAMICBASE /NXCOMPAT
LINK_OUT_FLAG=/Fe LINK_OUT_FLAG=/Fe
SO_EXT=.dll SO_EXT=.dll
SLINK=cl SLINK=cl
SLINK_FLAGS=/nologo /LD SLINK_FLAGS=/nologo /LD
SLINK_EXTRA_FLAGS=/link /MACHINE:X86 /SUBSYSTEM:WINDOWS /INCREMENTAL:NO /STACK:"8388608" /OPT:REF /OPT:ICF /TLBID:1 /DYNAMICBASE:NO SLINK_EXTRA_FLAGS=/link /MACHINE:X86 /SUBSYSTEM:WINDOWS /INCREMENTAL:NO /STACK:8388608 /OPT:REF /OPT:ICF /TLBID:1 /DYNAMICBASE:NO
SLINK_OUT_FLAG=/Fe SLINK_OUT_FLAG=/Fe

19
scripts/mk_util.py
View file

@ -18,7 +18,7 @@ BUILD_DIR='build'
REV_BUILD_DIR='..' REV_BUILD_DIR='..'
SRC_DIR='src' SRC_DIR='src'
IS_WINDOW=False IS_WINDOW=False
VERBOSE=False VERBOSE=True
DEBUG_MODE=False DEBUG_MODE=False
SHOW_CPPS = True SHOW_CPPS = True
VS_X64 = False VS_X64 = False
@ -36,7 +36,7 @@ def display_help():
print "It must be executed from the Z3 root directory." print "It must be executed from the Z3 root directory."
print "\nOptions:" print "\nOptions:"
print " -h, --help display this message." print " -h, --help display this message."
print " -v, --verbose be verbose." print " -s, --silent do not print verbose messages."
print " -b <sudir>, --build=<subdir> subdirectory where Z3 will be built (default: build)." print " -b <sudir>, --build=<subdir> subdirectory where Z3 will be built (default: build)."
print " -d, --debug compile Z3 in debug mode." print " -d, --debug compile Z3 in debug mode."
print " -x, --x64 create 64 binary when using Visual Studio." print " -x, --x64 create 64 binary when using Visual Studio."
@ -47,9 +47,9 @@ def display_help():
# Parse configuration option for mk_make script # Parse configuration option for mk_make script
def parse_options(): def parse_options():
global VERBOSE, DEBUG_MODE, IS_WINDOW, VS_X64, ONLY_MAKEFILES, SHOW_CPPS global VERBOSE, DEBUG_MODE, IS_WINDOW, VS_X64, ONLY_MAKEFILES, SHOW_CPPS
options, remainder = getopt.gnu_getopt(sys.argv[1:], 'b:dvxhmc', ['build=', options, remainder = getopt.gnu_getopt(sys.argv[1:], 'b:svxhmc', ['build=',
'debug', 'debug',
'verbose', 'silent',
'x64', 'x64',
'help', 'help',
'makefiles', 'makefiles',
@ -60,8 +60,8 @@ def parse_options():
if arg == 'src': if arg == 'src':
raise MKException('The src directory should not be used to host the Makefile') raise MKException('The src directory should not be used to host the Makefile')
set_build_dir(arg) set_build_dir(arg)
elif opt in ('-v', '--verbose'): elif opt in ('-s', '--silent'):
VERBOSE = True VERBOSE = False
elif opt in ('-d', '--debug'): elif opt in ('-d', '--debug'):
DEBUG_MODE = True DEBUG_MODE = True
elif opt in ('-x', '--x64'): elif opt in ('-x', '--x64'):
@ -481,10 +481,13 @@ def mk_makefile():
print " compilation mode: Release" print " compilation mode: Release"
if IS_WINDOW: if IS_WINDOW:
if VS_X64: if VS_X64:
print " platform: x64" print " platform: x64\n"
print "To build Z3, open a ***Visual Studio x64 Command Prompt***, then"
else: else:
print " platform: x86" print " platform: x86"
print "Type 'cd %s && nmake to build Z3" % BUILD_DIR print "To build Z3, open a ***Visual Studio Command Prompt***, then"
print "type 'cd %s/%s && nmake'\n" % (os.getcwd(), BUILD_DIR)
print 'Remark: to open a Visual Studio Command Prompt, go to: "Start > All Programs > Visual Studio > Visual Studio Tools >"'
else: else:
print "Type 'cd %s; make' to build Z3" % BUILD_DIR print "Type 'cd %s; make' to build Z3" % BUILD_DIR