From 454fa7dcddc7262e97f3d193150e63b8cdf721a1 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 2 Oct 2012 12:31:45 -0700 Subject: [PATCH] Improve _find_lib() in Z3Py for Linux/OSX Signed-off-by: Leonardo de Moura --- lib/api.py | 2 +- python/z3core.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/api.py b/lib/api.py index 8571759a4..61d176197 100644 --- a/lib/api.py +++ b/lib/api.py @@ -60,7 +60,7 @@ def _find_lib(): winlibdir = 'x64' else: winlibdir = 'bin' - locs = [_dir, '%s%s..%s%s' % (_dir, os.sep, os.sep, winlibdir), '%s%s..%slib' % (_dir, os.sep, os.sep), '%s%s..%sexternal' % (_dir, os.sep, os.sep)] + locs = [_dir, '%s%s..%s%s' % (_dir, os.sep, os.sep, winlibdir), '%s%s..%slib' % (_dir, os.sep, os.sep), '%s%s..%sexternal' % (_dir, os.sep, os.sep), '%s%s..%sbin%sexternal' % (_dir, os.sep, os.sep, os.sep)] for loc in locs: for lib in libs: f = '%s%s%s' % (loc, os.sep, lib) diff --git a/python/z3core.py b/python/z3core.py index 574823cfa..e60edee5a 100644 --- a/python/z3core.py +++ b/python/z3core.py @@ -11,7 +11,7 @@ def _find_lib(): winlibdir = 'x64' else: winlibdir = 'bin' - locs = [_dir, '%s%s..%s%s' % (_dir, os.sep, os.sep, winlibdir), '%s%s..%slib' % (_dir, os.sep, os.sep), '%s%s..%sexternal' % (_dir, os.sep, os.sep)] + locs = [_dir, '%s%s..%s%s' % (_dir, os.sep, os.sep, winlibdir), '%s%s..%slib' % (_dir, os.sep, os.sep), '%s%s..%sexternal' % (_dir, os.sep, os.sep), '%s%s..%sbin%sexternal' % (_dir, os.sep, os.sep, os.sep)] for loc in locs: for lib in libs: f = '%s%s%s' % (loc, os.sep, lib)