From 7816c533527139944cdb183d3ff8d472d34fb843 Mon Sep 17 00:00:00 2001 From: Andrew Dutcher Date: Wed, 28 Sep 2016 20:54:38 -0700 Subject: [PATCH] allow python to load libz3 using loader's default search --- scripts/update_api.py | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/scripts/update_api.py b/scripts/update_api.py index d8b2bec58..4ca11938c 100755 --- a/scripts/update_api.py +++ b/scripts/update_api.py @@ -1611,7 +1611,7 @@ _lib = None def lib(): global _lib if _lib is None: - _dirs = ['.', pkg_resources.resource_filename('z3', 'lib'), os.path.join(sys.prefix, 'lib'), ''] + _dirs = ['.', pkg_resources.resource_filename('z3', 'lib'), os.path.join(sys.prefix, 'lib'), None] for _dir in _dirs: try: init(_dir) @@ -1641,9 +1641,12 @@ else: return "" def init(PATH): - PATH = os.path.realpath(PATH) - if os.path.isdir(PATH): - PATH = os.path.join(PATH, 'libz3.%s' % _ext) + if PATH: + PATH = os.path.realpath(PATH) + if os.path.isdir(PATH): + PATH = os.path.join(PATH, 'libz3.%s' % _ext) + else: + PATH = 'libz3.%s' % _ext global _lib _lib = ctypes.CDLL(PATH)