mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
37 lines
815 B
YAML
37 lines
815 B
YAML
name: WASM Build
|
|
|
|
on:
|
|
push:
|
|
branches: [ master ]
|
|
|
|
env:
|
|
BUILD_TYPE: Release
|
|
|
|
jobs:
|
|
build:
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
- name: Checkout code
|
|
uses: actions/checkout@v2
|
|
|
|
- name: Import enscripten
|
|
uses: mymindstorm/setup-emsdk@v9
|
|
|
|
- name: Configure CMake and build
|
|
run: |
|
|
mkdir build
|
|
cd build
|
|
|
|
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; \
|