mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 04:03:39 +00:00
Code Activity

update to set single threaded

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2024-11-16 09:11:44 -08:00
parent f39198d9a8
commit b929996941
1 changed files with 10 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -25,6 +25,8 @@ SRC_DIR_LOCAL = os.path.join(ROOT_DIR, 'core')
SRC_DIR_REPO = os.path.join(ROOT_DIR, '..', '..', '..') SRC_DIR_REPO = os.path.join(ROOT_DIR, '..', '..', '..')
SRC_DIR = SRC_DIR_LOCAL if os.path.exists(SRC_DIR_LOCAL) else SRC_DIR_REPO SRC_DIR = SRC_DIR_LOCAL if os.path.exists(SRC_DIR_LOCAL) else SRC_DIR_REPO
IS_SINGLE_THREADED = False
IS_PYODIDE = 'PYODIDE_ROOT' in os.environ and os.environ.get('_PYTHON_HOST_PLATFORM', '').startswith('emscripten') IS_PYODIDE = 'PYODIDE_ROOT' in os.environ and os.environ.get('_PYTHON_HOST_PLATFORM', '').startswith('emscripten')
# determine where binaries are # determine where binaries are
@ -37,10 +39,12 @@ if RELEASE_DIR is None:
BUILD_PLATFORM = "emscripten" BUILD_PLATFORM = "emscripten"
BUILD_ARCH = "wasm32" BUILD_ARCH = "wasm32"
BUILD_OS_VERSION = os.environ['_PYTHON_HOST_PLATFORM'].split('_')[1:-1] BUILD_OS_VERSION = os.environ['_PYTHON_HOST_PLATFORM'].split('_')[1:-1]
build_env['CFLAGS'] = build_env.get('CFLAGS', '') + " -fexceptions -pthread" build_env['CFLAGS'] = build_env.get('CFLAGS', '') + " -fexceptions"
build_env['CXXFLAGS'] = build_env.get('CXXFLAGS', '') + " -fexceptions -pthread" build_env['CXXFLAGS'] = build_env.get('CXXFLAGS', '') + " -fexceptions"
build_env['LDFLAGS'] = build_env.get('LDFLAGS', '') + " -fexceptions -pthread" build_env['LDFLAGS'] = build_env.get('LDFLAGS', '') + " -fexceptions"
IS_SINGLE_THREADED = True
# build with pthread doesn't work. The WASM bindings are also single threaded.
else: else:
BUILD_PLATFORM = sys.platform BUILD_PLATFORM = sys.platform
BUILD_ARCH = os.environ.get("Z3_CROSS_COMPILING", platform.machine()) BUILD_ARCH = os.environ.get("Z3_CROSS_COMPILING", platform.machine())
@ -117,6 +121,7 @@ def _z3_version():
return version + post return version + post
def _configure_z3(): def _configure_z3():
global IS_SINGLE_THREADED
# bail out early if we don't need to do this - it forces a rebuild every time otherwise # bail out early if we don't need to do this - it forces a rebuild every time otherwise
if os.path.exists(BUILD_DIR): if os.path.exists(BUILD_DIR):
return return
@ -125,7 +130,7 @@ def _configure_z3():
# Config options # Config options
cmake_options = { cmake_options = {
# Config Options # Config Options
'Z3_SINGLE_THREADED' : False, 'Z3_SINGLE_THREADED' : IS_SINGLE_THREADED,
'Z3_BUILD_PYTHON_BINDINGS' : True, 'Z3_BUILD_PYTHON_BINDINGS' : True,
# Build Options # Build Options
'CMAKE_BUILD_TYPE' : 'Release', 'CMAKE_BUILD_TYPE' : 'Release',