From ef800d7b931b46fa8dffed3e36698506f654655b Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Wed, 8 Nov 2017 17:20:25 +0000 Subject: [PATCH] Fixed library path order in Python API. --- scripts/update_api.py | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/scripts/update_api.py b/scripts/update_api.py index 8e876d2fd..8c0c895d9 100755 --- a/scripts/update_api.py +++ b/scripts/update_api.py @@ -1653,10 +1653,11 @@ else: if hasattr(builtins, "Z3_LIB_DIRS"): _all_dirs = builtins.Z3_LIB_DIRS -if 'Z3_LIBRARY_PATH' in os.environ: - lp = os.environ['Z3_LIBRARY_PATH']; - lds = lp.split(';') if sys.platform in ('win32') else lp.split(':') - _all_dirs.extend(lds) +for v in ('Z3_LIBRARY_PATH', 'PATH'): + if v in os.environ: + lp = os.environ[v]; + lds = lp.split(';') if sys.platform in ('win32') else lp.split(':') + _all_dirs.extend(lds) _all_dirs.extend(_default_dirs)