mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 10:25:18 +00:00
Code Activity

moving compile time flags to setup for pyodide

Browse source
This commit is contained in:
Nikolaj Bjorner 2024-11-16 08:28:00 -08:00
parent 8bfe403dd3
commit 7c5ff7c623
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/api/python/setup.py
View file

@ -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)