mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-25 21:57:00 +00:00
Code Activity

fixed bug in mk_make.py

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2012-10-28 12:24:57 -07:00
parent f040db94f8
commit 462ea55215
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
scripts/mk_util.py
View file

@ -184,6 +184,7 @@ def set_build_dir(d):
def set_z3py_dir(p): def set_z3py_dir(p):
global SRC_DIR, Z3PY_SRC_DIR global SRC_DIR, Z3PY_SRC_DIR
mk_dir(BUILD_DIR)
full = '%s/%s' % (SRC_DIR, p) full = '%s/%s' % (SRC_DIR, p)
if not os.path.exists(full): if not os.path.exists(full):
raise MKException("Python bindings directory '%s' does not exist" % full) raise MKException("Python bindings directory '%s' does not exist" % full)