From bf563bbd5ffcba75f7a24d6a8b1095040884ca3a Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Wed, 8 Nov 2017 17:29:40 +0000
Subject: [PATCH] Fixed default library path order in Python API.

---
 scripts/update_api.py | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/scripts/update_api.py b/scripts/update_api.py
index 8c0c895d9..7d43b70ce 100755
--- a/scripts/update_api.py
+++ b/scripts/update_api.py
@@ -1672,6 +1672,13 @@ for d in _all_dirs:
   except:
     pass
 
+if _lib is None:
+  # If all else failed, ask the system to find it.
+  try:
+    _lib = ctypes.CDLL('libz3.%s' % _ext)
+  except:
+    pass
+
 if _lib is None:
   print("Could not find libz3.%s; consider adding the directory containing it to" % _ext)
   print("  - your system's PATH environment variable,")