From 8cabb267ccfd50041cedaf7a526a5fe587b47895 Mon Sep 17 00:00:00 2001 From: Audrey Dutcher Date: Tue, 12 Apr 2022 14:16:57 -0700 Subject: [PATCH] setup.py: copy generated python files correctly --- src/api/python/setup.py | 14 ++++---------- 1 file changed, 4 insertions(+), 10 deletions(-) diff --git a/src/api/python/setup.py b/src/api/python/setup.py index 1b455bb56f2..5309142f21d 100644 --- a/src/api/python/setup.py +++ b/src/api/python/setup.py @@ -154,16 +154,10 @@ def _copy_bins(): _clean_bins() - python_dir = None - if RELEASE_DIR is not None: - python_dir = os.path.join(RELEASE_DIR, 'bin', 'python') - elif SRC_DIR == SRC_DIR_LOCAL: - python_dir = os.path.join(SRC_DIR, 'src', 'api', 'python') - if python_dir is not None: - py_z3_build_dir = os.path.join(BUILD_DIR, 'python', 'z3') - root_z3_dir = os.path.join(ROOT_DIR, 'z3') - shutil.copy(os.path.join(py_z3_build_dir, 'z3core.py'), root_z3_dir) - shutil.copy(os.path.join(py_z3_build_dir, 'z3consts.py'), root_z3_dir) + py_z3_build_dir = os.path.join(BUILD_DIR, 'python', 'z3') + root_z3_dir = os.path.join(ROOT_DIR, 'z3') + shutil.copy(os.path.join(py_z3_build_dir, 'z3core.py'), root_z3_dir) + shutil.copy(os.path.join(py_z3_build_dir, 'z3consts.py'), root_z3_dir) # STEP 2: Copy the shared library, the executable and the headers