mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

Use emscripten to create a wasm build (#5634)

Browse source
This commit is contained in:
Leonardo 2021-10-29 16:01:06 +02:00 committed by GitHub
parent d1fbf013eb
commit e7a54db8b0
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 13 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
.github/workflows/wasm.yml vendored
View file

@ -16,15 +16,19 @@ jobs:
uses: actions/checkout@v2 uses: actions/checkout@v2
- name: Configure CMake and build - name: Configure CMake and build
uses: mymindstorm/setup-emsdk@v9
run: | run: |
mkdir build mkdir build
cd build cd build
cmake -DCMAKE_BUILD_TYPE=${{ env.BUILD_TYPE }} -DCMAKE_SYSTEM_NAME=WASM -DCMAKE_SYSTEM_VERSION=21
make -j $(nproc) emcmake cmake \
tar -cvf z3-build-wasm.tar *.jar *.so -DCMAKE_BUILD_TYPE=MinSizeRel \
-DCMAKE_INSTALL_PREFIX=/emsdk/upstream/emscripten/system \
- name: Archive production artifacts -DZ3_BUILD_LIBZ3_SHARED=OFF \
uses: actions/upload-artifact@v2 -DZ3_ENABLE_EXAMPLE_TARGETS=OFF \
with: -DZ3_BUILD_TEST_EXECUTABLES=OFF \
name: build-wasm -DZ3_BUILD_EXECUTABLE=OFF \
path: build/z3-build-wasm.tar -DZ3_SINGLE_THREADED=ON \
-DCMAKE_CXX_FLAGS="-s DISABLE_EXCEPTION_CATCHING=0" \
..; \
make ; make install; \