mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

Python 3.x compatibility.

Browse source 
Fixes problems reported in comments to 1abeb825a3
This commit is contained in:
Christoph M. Wintersteiger 2015-05-12 10:29:37 +01:00
parent a6bb7d2d0f
commit 043f441a4c
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
scripts/mk_win_dist.py
View file

@ -180,7 +180,7 @@ def mk_dist_dir_core(x64):
mk_util.JAVA_ENABLED = JAVA_ENABLED mk_util.JAVA_ENABLED = JAVA_ENABLED
mk_win_dist(build_path, dist_path) mk_win_dist(build_path, dist_path)
if is_verbose(): if is_verbose():
print("Generated %s distribution folder at '%s'") % (platform, dist_path) print("Generated %s distribution folder at '%s'" % (platform, dist_path))
def mk_dist_dir(): def mk_dist_dir():
mk_dist_dir_core(False) mk_dist_dir_core(False)
@ -208,7 +208,7 @@ def mk_zip_core(x64):
ZIPOUT = zipfile.ZipFile(zfname, 'w', zipfile.ZIP_DEFLATED) ZIPOUT = zipfile.ZipFile(zfname, 'w', zipfile.ZIP_DEFLATED)
os.path.walk(dist_path, mk_zip_visitor, '*') os.path.walk(dist_path, mk_zip_visitor, '*')
if is_verbose(): if is_verbose():
print("Generated '%s'") % zfname print("Generated '%s'" % zfname)
except: except:
pass pass
ZIPOUT = None ZIPOUT = None
@ -253,7 +253,7 @@ def cp_vs_runtime_core(x64):
for f in VS_RUNTIME_FILES: for f in VS_RUNTIME_FILES:
shutil.copy(f, bin_dist_path) shutil.copy(f, bin_dist_path)
if is_verbose(): if is_verbose():
print("Copied '%s' to '%s'") % (f, bin_dist_path) print("Copied '%s' to '%s'" % (f, bin_dist_path))
def cp_vs_runtime(): def cp_vs_runtime():
cp_vs_runtime_core(True) cp_vs_runtime_core(True)