From 6330bf7d258c67cc086f4c2ee402e5d87af5d078 Mon Sep 17 00:00:00 2001
From: jeff <jeffli678@sina.com>
Date: Thu, 27 Feb 2020 12:28:44 +0800
Subject: [PATCH] fix z3 library search order

---
 scripts/update_api.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/update_api.py b/scripts/update_api.py
index 49b60437e..42bfcc37e 100755
--- a/scripts/update_api.py
+++ b/scripts/update_api.py
@@ -1738,6 +1738,8 @@ _default_dirs = ['.',
                  os.path.join(sys.prefix, 'lib'),
                  None]
 _all_dirs = []
+# search the default dirs first
+_all_dirs.extend(_default_dirs)
 
 if sys.version < '3':
   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(':')
     _all_dirs.extend(lds)
 
-_all_dirs.extend(_default_dirs)
-
 _failures = []
 for d in _all_dirs:
   try: