move build-env setting to correct place

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Nov 16, 2024 · f39198d · f39198d
1 parent 197951c
commit f39198d
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/src/api/python/setup.py b/src/api/python/setup.py
@@ -37,13 +37,14 @@ class LibError(Exception):
         BUILD_PLATFORM = "emscripten"
         BUILD_ARCH = "wasm32"
         BUILD_OS_VERSION = os.environ['_PYTHON_HOST_PLATFORM'].split('_')[1:-1]
+        build_env['CFLAGS'] = build_env.get('CFLAGS', '') + " -fexceptions -pthread"
+        build_env['CXXFLAGS'] = build_env.get('CXXFLAGS', '') + " -fexceptions -pthread"
+        build_env['LDFLAGS'] = build_env.get('LDFLAGS', '') + " -fexceptions -pthread"
+
     else:
         BUILD_PLATFORM = sys.platform
         BUILD_ARCH = os.environ.get("Z3_CROSS_COMPILING", platform.machine())
         BUILD_OS_VERSION = platform.mac_ver()[0].split(".")[:2]
-        build_env['CFLAGS'] = build_env.get('CFLAGS', '') + " -fexceptions -pthread"
-        build_env['CXXFLAGS'] = build_env.get('CXXFLAGS', '') + " -fexceptions -pthread"
-        build_env['LDFLAGS'] = build_env.get('LDFLAGS', '') + " -fexceptions -pthread"
 else:
     if not os.path.isdir(RELEASE_DIR):
         raise Exception("RELEASE_DIR (%s) is not a directory!" % RELEASE_DIR)