remove the use-pthread

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Nov 20, 2024 · 94f0aff · 94f0aff
1 parent 76795a4
commit 94f0aff
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/pyodide.yml b/.github/workflows/pyodide.yml
@@ -43,9 +43,9 @@ 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 -s USE_PTHREADS=1 -g2 -s SAFE_HEAP=0 -s PTHREAD_POOL_SIZE=0 -s PTHREAD_POOL_SIZE_STRICT=0"
-         LDFLAGS: "-fexceptions -s WASM_BIGINT -s -s USE_PTHREADS=1"     
-         CXXFLAGS: "-fexceptions -s USE_PTHREADS=1 -s DISABLE_EXCEPTION_CATCHING=0"
+         CFLAGS: "-fexceptions -s DISABLE_EXCEPTION_CATCHING=0 -g2 -s SAFE_HEAP=0 -s PTHREAD_POOL_SIZE=0 -s PTHREAD_POOL_SIZE_STRICT=0"
+         LDFLAGS: "-fexceptions -s WASM_BIGINT"     
+         CXXFLAGS: "-fexceptions -s DISABLE_EXCEPTION_CATCHING=0"
 
     - name: Setup env-pyodide
       run: |