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

Fixed Python 2.x vs 3.x issues.

Browse source 
Fixes Z3Prover/bin/#2.
This commit is contained in:
Christoph M. Wintersteiger 2015-11-19 23:24:04 +01:00
parent 5948013b1b
commit b2281f956b
3 changed files with 13 additions and 35 deletions
Download patch file Download diff file Expand all files Collapse all files

17
scripts/mk_unix_dist.py
View file

@ -171,32 +171,23 @@ def mk_dist_dir():
if is_verbose():
print("Generated distribution folder at '%s'" % dist_path)
ZIPOUT = None
def mk_zip_visitor(pattern, dir, files):
for filename in files:
if fnmatch(filename, pattern):
fname = os.path.join(dir, filename)
if not os.path.isdir(fname):
ZIPOUT.write(fname)
def get_dist_path():
return get_z3_name()
def mk_zip():
global ZIPOUT
dist_path = get_dist_path()
old = os.getcwd()
try:
os.chdir(DIST_DIR)
zfname = '%s.zip' % dist_path
ZIPOUT = zipfile.ZipFile(zfname, 'w', zipfile.ZIP_DEFLATED)
os.walk(dist_path, mk_zip_visitor, '*')
zipout = zipfile.ZipFile(zfname, 'w', zipfile.ZIP_DEFLATED)
for root, dirs, files in os.walk(dist_path):
for f in files:
zipout.write(os.path.join(root, f))
if is_verbose():
print("Generated '%s'" % zfname)
except:
pass
ZIPOUT = None
os.chdir(old)
def cp_license():