mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
Bugfix for Python 3
This commit is contained in:
parent
44751c0ef8
commit
5b1a98a155
|
@ -2592,7 +2592,7 @@ def mk_win_dist(build_path, dist_path):
|
|||
for c in get_components():
|
||||
c.mk_win_dist(build_path, dist_path)
|
||||
# Add Z3Py to bin directory
|
||||
print "Adding to %s\n" % dist_path
|
||||
print("Adding to %s\n" % dist_path)
|
||||
for pyc in filter(lambda f: f.endswith('.pyc') or f.endswith('.py'), os.listdir(build_path)):
|
||||
shutil.copy(os.path.join(build_path, pyc),
|
||||
os.path.join(dist_path, 'bin', pyc))
|
||||
|
|
Loading…
Reference in a new issue