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

add back build flags in script
---
 .github/workflows/pyodide.yml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/pyodide.yml b/.github/workflows/pyodide.yml
index 0a2d333dc..4b03980cf 100644
--- a/.github/workflows/pyodide.yml
+++ b/.github/workflows/pyodide.yml
@@ -41,7 +41,10 @@ jobs:
       run: |
          source ~/emsdk/emsdk_env.sh 
          cd src/api/python 
-         ~/env/bin/pyodide build --exports whole_archive
+         CFLAGS="${CFLAGS}" LDFLAGS="${LDFLAGS}" ~/env/bin/pyodide build --exports whole_archive
+      env:
+         CFLAGS: "-fexceptions -s DISABLE_EXCEPTION_CATCHING=0"
+         LDFLAGS: "-fexceptions"         
          
     - name: Setup env-pyodide
       run: |