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

fix z3 library search order

Browse source
This commit is contained in:
jeff 2020-02-27 12:28:44 +08:00 committed by Nikolaj Bjorner
parent dc31478d82
commit 6330bf7d25
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
scripts/update_api.py
View file

@ -1738,6 +1738,8 @@ _default_dirs = ['.',
os.path.join(sys.prefix, 'lib'), os.path.join(sys.prefix, 'lib'),
None] None]
_all_dirs = [] _all_dirs = []
# search the default dirs first
_all_dirs.extend(_default_dirs)
if sys.version < '3': if sys.version < '3':
import __builtin__ import __builtin__
@ -1754,8 +1756,6 @@ for v in ('Z3_LIBRARY_PATH', 'PATH', 'PYTHONPATH'):
lds = lp.split(';') if sys.platform in ('win32') else lp.split(':') lds = lp.split(';') if sys.platform in ('win32') else lp.split(':')
_all_dirs.extend(lds) _all_dirs.extend(lds)
_all_dirs.extend(_default_dirs)
_failures = [] _failures = []
for d in _all_dirs: for d in _all_dirs:
try: try: