From 00c5600b09ddaf3d48153a0bae32a23aad442a8a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 16 Nov 2024 12:36:53 -0800
Subject: [PATCH] Update pyodide.yml

tidy, remove build flags as they are now in setup.py
---
 .github/workflows/pyodide.yml | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/pyodide.yml b/.github/workflows/pyodide.yml
index a3fa91670..81b0d3519 100644
--- a/.github/workflows/pyodide.yml
+++ b/.github/workflows/pyodide.yml
@@ -34,16 +34,14 @@ jobs:
       run:  |
          git clone https://github.com/emscripten-core/emsdk.git ~/emsdk 
          cd ~/emsdk && PYODIDE_EMSCRIPTEN_VERSION=$(~/env/bin/pyodide config get emscripten_version) 
-         ./emsdk install ${PYODIDE_EMSCRIPTEN_VERSION} && ./emsdk activate ${PYODIDE_EMSCRIPTEN_VERSION}
+         ./emsdk install ${PYODIDE_EMSCRIPTEN_VERSION} 
+         ./emsdk activate ${PYODIDE_EMSCRIPTEN_VERSION}
          
     - name: Build Z3
       run: |
          source ~/emsdk/emsdk_env.sh 
          cd src/api/python 
-         CFLAGS="${CFLAGS}" LDFLAGS="${LDFLAGS}" ~/env/bin/pyodide build --exports whole_archive
-      env:
-         CFLAGS: "-fexceptions -s DISABLE_EXCEPTION_CATCHING=0"
-         LDFLAGS: "-fexceptions"
+         ~/env/bin/pyodide build --exports whole_archive
          
     - name: Setup env-pyodide
       run: |
@@ -54,4 +52,5 @@ jobs:
     - name: Setup z3 wheel
       run: |
          ~/env-pyodide/bin/pip install src/api/python/dist/*.whl
-         ~/env-pyodide/bin/python - <src/api/python/z3test.py z3 && ~/env-pyodide/bin/python - <src/api/python/z3test.py z3num
+         ~/env-pyodide/bin/python - <src/api/python/z3test.py z3
+         ~/env-pyodide/bin/python - <src/api/python/z3test.py z3num