fixes to pyodide action

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Nov 15, 2024 · ca6ec0d · ca6ec0d
1 parent 8e3b9f6
commit ca6ec0d
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/pyodide.yml b/.github/workflows/pyodide.yml
@@ -22,13 +22,13 @@ jobs:
       uses: actions/checkout@v4
 
     - name: Setup packages
-      run: sudo apt-get update && sudo apt-get install -y python3-dev python3-pip python3-venv
+      run: sudo apt-get update && sudo apt-get install -y python3-dev python3-pip python3-venv 
 
     - name: Create venv
       run: python3 -m venv ~/env
 
     - name: Install pyodide
-      run:  ~/env/bin/pip install pyodide-build
+      run:  ~/env/bin/pip install pyodide-build pyodide-cli
 
     - name: Configure CMake and build
       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}
@@ -41,5 +41,5 @@ jobs:
 
     - name: Setup z3 wheel
       run: |
-         ~/env-pyodide/bin/pip install z3/src/api/python/dist/*.whl
+         ~/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