3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 10:25:18 +00:00

Merge pull request #1591 from yxliang01/master

Z3 now will also try to find libz3 in PYTHONPATH
This commit is contained in:
Nikolaj Bjorner 2018-04-24 17:23:27 +02:00 committed by GitHub
commit 484d20c1f2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

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