Skip to content

Commit 3672575

Browse files
fix typos POLING -> POLLING in setup.py and remove unused CFLAGS
Signed-off-by: Nikolaj Bjorner <[email protected]>
1 parent 71bad71 commit 3672575

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

.github/workflows/pyodide.yml

+1-1
Original file line numberDiff line numberDiff line change
@@ -43,7 +43,7 @@ jobs:
4343
cd src/api/python
4444
CFLAGS="${CFLAGS}" LDFLAGS="${LDFLAGS}" CXXFLAG="${CXXFLAGS}" ~/env/bin/pyodide build --exports whole_archive
4545
env:
46-
CFLAGS: "-fexceptions -s DISABLE_EXCEPTION_CATCHING=0 -g2 -s SAFE_HEAP=0 -s PTHREAD_POOL_SIZE=0 -s PTHREAD_POOL_SIZE_STRICT=0"
46+
CFLAGS: "-fexceptions -s DISABLE_EXCEPTION_CATCHING=0 -g2"
4747
LDFLAGS: "-fexceptions -s WASM_BIGINT"
4848
CXXFLAGS: "-fexceptions -s DISABLE_EXCEPTION_CATCHING=0"
4949

src/api/python/setup.py

+1-1
Original file line numberDiff line numberDiff line change
@@ -135,7 +135,7 @@ def _configure_z3():
135135
cmake_options = {
136136
# Config Options
137137
'Z3_SINGLE_THREADED' : IS_SINGLE_THREADED, # avoid solving features that use threads
138-
'Z3_POLING_TIMER' : IS_SINGLE_THREADED, # avoid using timer threads
138+
'Z3_POLLING_TIMER' : IS_SINGLE_THREADED, # avoid using timer threads
139139
'Z3_BUILD_PYTHON_BINDINGS' : True,
140140
# Build Options
141141
'CMAKE_BUILD_TYPE' : 'Release',

0 commit comments

Comments
 (0)