add pointer to build parameters to README Z3Prover#6518

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
hgvk94 · Mar 27, 2023 · dbcd515 · dbcd515
1 parent 4f98e24
commit dbcd515
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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