From dfba177813766c3219a1d4da8342bba6b9214a27 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 29 Oct 2021 17:02:15 +0200
Subject: [PATCH] Update wasm.yml

---
 .github/workflows/wasm.yml | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/wasm.yml b/.github/workflows/wasm.yml
index 2f8aed2b8..b74b9bb77 100644
--- a/.github/workflows/wasm.yml
+++ b/.github/workflows/wasm.yml
@@ -25,12 +25,18 @@ jobs:
 
         emcmake cmake \
           -DCMAKE_BUILD_TYPE=MinSizeRel \
-          -DCMAKE_INSTALL_PREFIX=/emsdk/upstream/emscripten/system \
           -DZ3_BUILD_LIBZ3_SHARED=OFF \
           -DZ3_ENABLE_EXAMPLE_TARGETS=OFF \
           -DZ3_BUILD_TEST_EXECUTABLES=OFF \
           -DZ3_BUILD_EXECUTABLE=OFF \
           -DZ3_SINGLE_THREADED=ON \
           -DCMAKE_CXX_FLAGS="-s DISABLE_EXCEPTION_CATCHING=0" \
-          ..; \
-        make ; make install; \
+          ..; 
+        make
+        tar -cvf z3-build-wasm.tar *.jar *.so
+        
+    - name: Archive production artifacts
+      uses: actions/upload-artifact@v2
+      with:
+        name: z3-build-wasm
+        path: build/z3-build-${{ matrix.android-abi }}.tar