3.12.3. Installation Instructions for Webassembly / JavaScriptΒΆ

Required development tools:

Compiling MiniZinc: Unpack the source code (or clone the git repository). Open a terminal and change into the source code directory. Make sure that the emscripten sdk is on your PATH, e.g. by sourcing the emsdk_env.sh script (see emscripten documentation). The following sequence of commands will build the MiniZinc compiler tool chain:

mkdir build
cd build
emconfigure cmake -DCMAKE_BUILD_TYPE=MinSizeRel ..
cmake --build .

Webassemble/JavaScript support is currently experimental.