From 7c5ff7c623853df10dbbbd65a6afebef6314d615 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 16 Nov 2024 08:28:00 -0800 Subject: [PATCH] moving compile time flags to setup for pyodide --- src/api/python/setup.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/api/python/setup.py b/src/api/python/setup.py index 35ab2e607..527b46cac 100644 --- a/src/api/python/setup.py +++ b/src/api/python/setup.py @@ -41,6 +41,9 @@ if RELEASE_DIR is None: 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)