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

Fixed default library path order in Python API.

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2017-11-08 17:29:40 +00:00
parent ef800d7b93
commit bf563bbd5f
1 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
scripts/update_api.py
View file

@ -1672,6 +1672,13 @@ for d in _all_dirs:
except: except:
pass pass
if _lib is None:
# If all else failed, ask the system to find it.
try:
_lib = ctypes.CDLL('libz3.%s' % _ext)
except:
pass
if _lib is None: if _lib is None:
print("Could not find libz3.%s; consider adding the directory containing it to" % _ext) print("Could not find libz3.%s; consider adding the directory containing it to" % _ext)
print(" - your system's PATH environment variable,") print(" - your system's PATH environment variable,")