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

script for updating version numbers.

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2012-10-25 11:52:51 -07:00
parent 38037caf4d
commit 1d03eedeeb
3 changed files with 34 additions and 18 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
scripts/mk_make.py
View file

@ -65,4 +65,6 @@ add_exe('test', ['api', 'fuzzing'], exe_name='test-z3')
add_dll('api_dll', ['api', 'sat', 'extra_cmds'], 'api/dll', dll_name='z3') add_dll('api_dll', ['api', 'sat', 'extra_cmds'], 'api/dll', dll_name='z3')
mk_auto_src() mk_auto_src()
update_version(4, 2, 0, 0)
mk_makefile() mk_makefile()

38
scripts/mk_util.py
View file

@ -22,6 +22,7 @@ VERBOSE=False
DEBUG_MODE=False DEBUG_MODE=False
SHOW_CPPS = True SHOW_CPPS = True
VS_X64 = False VS_X64 = False
ONLY_MAKEFILES = False
if os.name == 'nt': if os.name == 'nt':
IS_WINDOW=True IS_WINDOW=True
@ -33,22 +34,24 @@ def display_help():
print "This script generates the Makefile for the Z3 theorem prover." print "This script generates the Makefile for the Z3 theorem prover."
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 " -v, --verbose be verbose."
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."
print " -m, --makefiles generate only makefiles."
exit(0) exit(0)
# 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 global VERBOSE, DEBUG_MODE, IS_WINDOW, VS_X64, ONLY_MAKEFILES
options, remainder = getopt.gnu_getopt(sys.argv[1:], 'b:dvxh', ['build=', options, remainder = getopt.gnu_getopt(sys.argv[1:], 'b:dvxhm', ['build=',
'debug', 'debug',
'verbose', 'verbose',
'x64', 'x64',
'help' 'help'
]) 'makefiles'
])
for opt, arg in options: for opt, arg in options:
if opt in ('-b', '--build'): if opt in ('-b', '--build'):
if arg == 'src': if arg == 'src':
@ -64,6 +67,8 @@ def parse_options():
VS_X64 = True VS_X64 = True
elif opt in ('-h', '--help'): elif opt in ('-h', '--help'):
display_help() display_help()
elif opt in ('-m', '--onlymakefiles'):
ONLY_MAKEFILES = True
else: else:
raise MKException("Invalid command line option '%s'" % opt) raise MKException("Invalid command line option '%s'" % opt)
@ -416,7 +421,8 @@ def mk_makefile():
# Generate automatically generated source code # Generate automatically generated source code
def mk_auto_src(): def mk_auto_src():
mk_pat_db() if not ONLY_MAKEFILES:
mk_pat_db()
# TODO: delete after src/ast/pattern/expr_pattern_match # TODO: delete after src/ast/pattern/expr_pattern_match
# database.smt ==> database.h # database.smt ==> database.h
@ -428,3 +434,23 @@ def mk_pat_db():
for line in fin: for line in fin:
fout.write('"%s\\n"\n' % line.strip('\n')) fout.write('"%s\\n"\n' % line.strip('\n'))
fout.write(';\n') fout.write(';\n')
if VERBOSE:
print "Generated '%s/database.h'" % c.src_dir
# Update version numbers
def update_version(major, minor, build, revision):
if not ONLY_MAKEFILES:
mk_version_dot_h(major, minor, build, revision)
# Update files with the version number
def mk_version_dot_h(major, minor, build, revision):
c = _Name2Component['util']
fout = open('%s/version.h' % c.src_dir, 'w')
fout.write('// automatically generated file.\n')
fout.write('#define Z3_MAJOR_VERSION %s\n' % major)
fout.write('#define Z3_MINOR_VERSION %s\n' % minor)
fout.write('#define Z3_BUILD_NUMBER %s\n' % build)
fout.write('#define Z3_REVISION_NUMBER %s\n' % revision)
if VERBOSE:
print "Generated '%s/version.h'" % c.src_dir

12
src/util/version.h
View file

@ -1,12 +0,0 @@
//
// DO NOT EDIT DO NOT EDIT
//
// This file is overriden by the build automation on the build machine with
// a new 'current' build number.
//
// DO NOT EDIT DO NOT EDIT
//
#define Z3_MAJOR_VERSION 4
#define Z3_MINOR_VERSION 2
#define Z3_BUILD_NUMBER 0
#define Z3_REVISION_NUMBER 0