From bd80f7b4d5e5fc54182b6e60b68e6c36dc665a48 Mon Sep 17 00:00:00 2001 From: Andrew Dutcher Date: Thu, 22 Sep 2016 14:08:26 -0700 Subject: [PATCH] fix some issues with the windows build --- src/api/python/setup.py | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/src/api/python/setup.py b/src/api/python/setup.py index 9d77a66d6..95843aac0 100644 --- a/src/api/python/setup.py +++ b/src/api/python/setup.py @@ -27,10 +27,13 @@ BINS_DIR = os.path.join(ROOT_DIR, 'bin') if sys.platform == 'darwin': LIBRARY_FILE = "libz3.dylib" + EXECUTABLE_FILE = "z3" elif sys.platform in ('win32', 'cygwin'): LIBRARY_FILE = "libz3.dll" + EXECUTABLE_FILE = "z3.exe" else: LIBRARY_FILE = "libz3.so" + EXECUTABLE_FILE = "z3" def _clean_bins(): """ @@ -81,8 +84,8 @@ def _copy_bins(): os.mkdir(BINS_DIR) os.mkdir(HEADERS_DIR) os.mkdir(os.path.join(HEADERS_DIR, 'c++')) - shutil.copy(os.path.join(BUILD_DIR, 'libz3.so'), LIBS_DIR) - shutil.copy(os.path.join(BUILD_DIR, 'z3'), BINS_DIR) + shutil.copy(os.path.join(BUILD_DIR, LIBRARY_FILE), LIBS_DIR) + shutil.copy(os.path.join(BUILD_DIR, EXECUTABLE_FILE), BINS_DIR) for fname in ('z3.h', 'z3_v1.h', 'z3_macros.h', 'z3_api.h', 'z3_algebraic.h', 'z3_polynomial.h', 'z3_rcf.h', 'z3_interp.h', 'z3_fpa.h', os.path.join('c++', 'z3++.h')): shutil.copy(os.path.join(SRC_DIR, 'src', 'api', fname), os.path.join(HEADERS_DIR, fname)) @@ -150,6 +153,6 @@ setup( package_data={ 'z3': [os.path.join('lib', '*'), os.path.join('include', '*.h'), os.path.join('include', 'c++', '*.h')] }, - scripts=[os.path.join('bin', 'z3')], + scripts=[os.path.join('bin', EXECUTABLE_FILE)], cmdclass={'build': build, 'develop': develop, 'sdist': sdist, 'bdist_egg': bdist_egg}, )