From f7bcf0fd585e3fd7c294d63307356d7357ea3383 Mon Sep 17 00:00:00 2001
From: yxliang01 <13267.okk@gmail.com>
Date: Tue, 24 Apr 2018 08:17:20 -0700
Subject: [PATCH] Z3 now will also try to find libz3 in PYTHONPATH

---
 scripts/update_api.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/update_api.py b/scripts/update_api.py
index 8a7b33efd..78fad45be 100755
--- a/scripts/update_api.py
+++ b/scripts/update_api.py
@@ -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(':')