From d0f8db45d345cb2a9a30ad6a85cf2c25e61cad0a Mon Sep 17 00:00:00 2001 From: Kevin Gibbons Date: Fri, 6 Dec 2024 13:03:40 -0800 Subject: [PATCH] update emscripten version in CI --- .github/workflows/wasm-release.yml | 2 +- .github/workflows/wasm.yml | 2 +- src/api/js/README.md | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/wasm-release.yml b/.github/workflows/wasm-release.yml index ed5dacec8..ce7145703 100644 --- a/.github/workflows/wasm-release.yml +++ b/.github/workflows/wasm-release.yml @@ -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) diff --git a/.github/workflows/wasm.yml b/.github/workflows/wasm.yml index 8e157f5a4..0ea9688f1 100644 --- a/.github/workflows/wasm.yml +++ b/.github/workflows/wasm.yml @@ -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) diff --git a/src/api/js/README.md b/src/api/js/README.md index f53428bbd..3b695073f 100644 --- a/src/api/js/README.md +++ b/src/api/js/README.md @@ -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.