From e53ea005a0a6ce161857f69da0e2732c3134a4fc Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 14 Nov 2024 19:26:03 -0800
Subject: [PATCH] Update pyodide.yml
---
.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 f67c16bd1..a582e0d45 100644
--- a/.github/workflows/pyodide.yml
+++ b/.github/workflows/pyodide.yml
@@ -28,9 +28,12 @@ jobs:
~/env/bin/pip install pyodide-build
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}
- - name: Setup EMSDK
+ - name: Build Z3
run: |
source ~/emsdk/emsdk_env.sh && cd src/api/python && ~/env/bin/pyodide build --exports whole_archive
+
+ - name: Setup env-pyodide
+ run: |
source ~/emsdk/emsdk_emv.sh && ~/env/bin/pyodide venv ~/env-pyodide
- name: Setup z3 wheel