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 library path order in Python API.

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2017-11-08 17:20:25 +00:00
parent d2c5e0e76a
commit ef800d7b93
1 changed files with 5 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
scripts/update_api.py
View file

@ -1653,10 +1653,11 @@ else:
if hasattr(builtins, "Z3_LIB_DIRS"): if hasattr(builtins, "Z3_LIB_DIRS"):
_all_dirs = builtins.Z3_LIB_DIRS _all_dirs = builtins.Z3_LIB_DIRS
if 'Z3_LIBRARY_PATH' in os.environ: for v in ('Z3_LIBRARY_PATH', 'PATH'):
lp = os.environ['Z3_LIBRARY_PATH']; if v in os.environ:
lds = lp.split(';') if sys.platform in ('win32') else lp.split(':') lp = os.environ[v];
_all_dirs.extend(lds) lds = lp.split(';') if sys.platform in ('win32') else lp.split(':')
_all_dirs.extend(lds)
_all_dirs.extend(_default_dirs) _all_dirs.extend(_default_dirs)