mirror of
https://github.com/Z3Prover/z3
synced 2025-04-05 17:14:07 +00:00
Update wasm.yml
This commit is contained in:
parent
f61e6abb35
commit
dfba177813
12
.github/workflows/wasm.yml
vendored
12
.github/workflows/wasm.yml
vendored
|
@ -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
|
||||
|
|
Loading…
Reference in a new issue