mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-03 21:01:22 +00:00
Code Activity

Fix references to non existent function and variable due to a refactor

Browse source 
in 041c02feb7. Spotted by @NikolajBjorner
This commit is contained in:
Dan Liew 2015-12-05 07:50:33 +00:00
parent d2ba6f0ebf
commit 6884d3a245
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
scripts/mk_util.py
View file

@ -671,12 +671,11 @@ def parse_options():
# Handle the Python package directory # Handle the Python package directory
if not IS_WINDOWS: if not IS_WINDOWS:
if not PYTHON_PACKAGE_DIR.startswith(PREFIX): if not PYTHON_PACKAGE_DIR.startswith(PREFIX):
printPythonPackageMessage("ERROR")
print(("ERROR: The detected Python package directory (%s)" print(("ERROR: The detected Python package directory (%s)"
" does not live under the installation prefix (%s)" " does not live under the installation prefix (%s)"
". This would lead to a broken installation." ". This would lead to a broken installation."
"Use --pypkgdir= to change the Python package directory") % "Use --pypkgdir= to change the Python package directory") %
(errorType, PYTHON_PACKAGE_DIR, PREFIX)) (PYTHON_PACKAGE_DIR, PREFIX))
sys.exit(1) sys.exit(1)
# Return a list containing a file names included using '#include' in # Return a list containing a file names included using '#include' in