this repo has no description
dekker.one
1.. _ch-installation_detailed_wasm:
2
3Installation Instructions for Webassembly / JavaScript
4------------------------------------------------------
5
6Required development tools:
7
8- CMake, version 3.4.0 or later (from https://cmake.org or e.g. through homebrew)
9- emscripten sdk (from https://emscripten.org)
10
11**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:
12
13.. code-block:: bash
14
15 mkdir build
16 cd build
17 emconfigure cmake -DCMAKE_BUILD_TYPE=MinSizeRel ..
18 cmake --build .
19
20Webassemble/JavaScript support is currently experimental.