mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-20 23:56:37 +00:00
Code Activity

update emscripten version in CI

Browse source
This commit is contained in:
Kevin Gibbons 2024-12-06 13:03:40 -08:00
parent bd41f85b2c
commit d0f8db45d3
3 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/wasm-release.yml vendored
View file

@ -10,7 +10,7 @@ defaults:
working-directory: src/api/js
env:
EM_VERSION: 3.1.15
EM_VERSION: 3.1.73
permissions:
contents: read # to fetch code (actions/checkout)

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

@ -10,7 +10,7 @@ defaults:
working-directory: src/api/js
env:
EM_VERSION: 3.1.15
EM_VERSION: 3.1.73
permissions:
contents: read # to fetch code (actions/checkout)

2
src/api/js/README.md
View file

@ -7,7 +7,7 @@ The readme for the bindings themselves is located in [`PUBLISHED_README.md`](./P
## Building
You'll need to have emscripten set up, along with all of its dependencies. The easiest way to do that is with [emsdk](https://github.com/emscripten-core/emsdk).
You'll need to have emscripten set up, along with all of its dependencies. The easiest way to do that is with [emsdk](https://github.com/emscripten-core/emsdk). Newer versions of emscripten may break the build; you can find the version used in CI in [this file](https://github.com/Z3Prover/z3/blob/master/.github/workflows/wasm.yml#L13).
Then run `npm i` to install dependencies, `npm run build:ts` to build the TypeScript wrapper, and `npm run build:wasm` to build the wasm artifact.