From ea0d09b6c89c455271ecf16a1f7337fcaa395c9f Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 2 Jan 2023 16:49:31 -0800 Subject: [PATCH] add pointer to build parameters to README #6518 Signed-off-by: Nikolaj Bjorner --- src/api/js/README.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/api/js/README.md b/src/api/js/README.md index 42c29518e..8c446b910 100644 --- a/src/api/js/README.md +++ b/src/api/js/README.md @@ -11,6 +11,9 @@ You'll need to have emscripten set up, along with all of its dependencies. The e 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. +### Build on your own + +Consult the file [build-wasm.ts](https://github.com/Z3Prover/z3/blob/master/src/api/js/scripts/build-wasm.ts) for configurations used for building wasm. ## Tests