From 36725758ebde12c404427be68fb392dd81dcc2bf Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 21 Nov 2024 11:32:38 -0800 Subject: [PATCH] fix typos POLING -> POLLING in setup.py and remove unused CFLAGS Signed-off-by: Nikolaj Bjorner --- .github/workflows/pyodide.yml | 2 +- src/api/python/setup.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/pyodide.yml b/.github/workflows/pyodide.yml index 874324e4d33..b5e1d6868a8 100644 --- a/.github/workflows/pyodide.yml +++ b/.github/workflows/pyodide.yml @@ -43,7 +43,7 @@ jobs: cd src/api/python CFLAGS="${CFLAGS}" LDFLAGS="${LDFLAGS}" CXXFLAG="${CXXFLAGS}" ~/env/bin/pyodide build --exports whole_archive env: - CFLAGS: "-fexceptions -s DISABLE_EXCEPTION_CATCHING=0 -g2 -s SAFE_HEAP=0 -s PTHREAD_POOL_SIZE=0 -s PTHREAD_POOL_SIZE_STRICT=0" + CFLAGS: "-fexceptions -s DISABLE_EXCEPTION_CATCHING=0 -g2" LDFLAGS: "-fexceptions -s WASM_BIGINT" CXXFLAGS: "-fexceptions -s DISABLE_EXCEPTION_CATCHING=0" diff --git a/src/api/python/setup.py b/src/api/python/setup.py index 7b2ec6fbc9a..9590d78ce8f 100644 --- a/src/api/python/setup.py +++ b/src/api/python/setup.py @@ -135,7 +135,7 @@ def _configure_z3(): cmake_options = { # Config Options 'Z3_SINGLE_THREADED' : IS_SINGLE_THREADED, # avoid solving features that use threads - 'Z3_POLING_TIMER' : IS_SINGLE_THREADED, # avoid using timer threads + 'Z3_POLLING_TIMER' : IS_SINGLE_THREADED, # avoid using timer threads 'Z3_BUILD_PYTHON_BINDINGS' : True, # Build Options 'CMAKE_BUILD_TYPE' : 'Release',