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

Python 3.x issues

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2015-10-29 17:47:07 +00:00
parent 7287478370
commit 64fa2db3ff
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
scripts/mk_win_dist.py
View file

@ -245,7 +245,7 @@ def cp_vs_runtime_core(x64):
else: else:
platform = "x86" platform = "x86"
vcdir = subprocess.check_output(['echo', '%VCINSTALLDIR%'], shell=True).rstrip('\r\n') vcdir = os.environ['VCINSTALLDIR']
path = '%sredist\\%s' % (vcdir, platform) path = '%sredist\\%s' % (vcdir, platform)
VS_RUNTIME_FILES = [] VS_RUNTIME_FILES = []
os.path.walk(path, cp_vs_runtime_visitor, '*.dll') os.path.walk(path, cp_vs_runtime_visitor, '*.dll')