From 65fa33364004833114959603fb651a26d99ba5d4 Mon Sep 17 00:00:00 2001
From: Jason N <cyderize@users.noreply.github.com>
Date: Thu, 9 Nov 2023 14:31:45 +1100
Subject: [PATCH] Add WebAssembly build instructions

---
 README.md | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)

diff --git a/README.md b/README.md
index dd41744..dadd576 100644
--- a/README.md
+++ b/README.md
@@ -205,6 +205,35 @@ For more detailed documentation of all available options and functionality, visi
 
 ## Building
 
+### Compiling MiniZinc for WebAssembly 
+
+The WebAssembly build of MiniZinc requires [Emscripten](https://emscripten.org/).
+
+```sh
+# Clone MiniZinc
+git clone https://github.com/MiniZinc/libminizinc minizinc
+
+# Download solvers (or you can build them yourself using emscripten)
+cd minizinc
+MZNARCH=wasm ./download_vendor
+
+# Configure MiniZinc
+emcmake cmake -S . -B build \
+  -DCMAKE_FIND_ROOT_PATH="/" \
+  -DCMAKE_BUILD_TYPE=Release \
+  -DGecode_ROOT="$PWD/vendor/gecode" \
+  -DOsiCBC_ROOT="$PWD/vendor/cbc" \
+  -DCMAKE_PREFIX_PATH="$PWD/vendor/highs/lib/cmake/highs:$PWD/vendor/chuffed/lib/cmake/chuffed" \
+  -DCMAKE_INSTALL_PREFIX="../minizinc-install"
+
+# Build MiniZinc
+cmake --build build --config Release --target install
+```
+
+The WebAssembly build of MiniZinc can also be obtained from the [build workflow](https://github.com/MiniZinc/minizinc-js/actions/workflows/build.yml) as the `minizinc` artifact.
+
+### Building MiniZinc JS
+
 1. Run `npm install` to install dependencies.
 2. Place the `bin/` folder of the WebAssembly build of MiniZinc inside this directory.
    Alternatively set the `MZN_WASM_DIR` environment variable to the installation directory of the