fix typos POLING -> POLLING in setup.py and remove unused CFLAGS

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Nov 21, 2024 · 3672575 · 3672575
1 parent 71bad71
commit 3672575
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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',