this repo has no description
dekker.one
1.. _ch-installation_detailed:
2
3Installation from Source Code
4=============================
5
6The easiest way to install a complete version of MiniZinc is to use the binary packages we provide for several platforms, as explained in :ref:`ch-installation`. In the following, we describe how to install MiniZinc from source code.
7
8All components of MiniZinc are free and open source software, and compilation should be straightforward if you have all the necessary build tools installed. However, third-party components, in particular the different solvers, may be more difficult to install correctly, and we cannot provide any support for these components.
9
10The source code for MiniZinc can be downloaded from its GitHub repository at https://github.com/MiniZinc/libminizinc. The source code for the MiniZinc IDE is available from https://github.com/MiniZinc/MiniZincIDE. The ``master`` branch of each repository points to the latest release version, while the ``develop`` branch points to the current state of development (and may be buggy or not even compile sometimes).
11
12You will also need to install additional solvers to use with MiniZinc. To get started, try Gecode (http://www.gecode.org) or Chuffed (https://github.com/chuffed/chuffed). We don't cover installation instructions for these solvers here.
13
14The build system for MiniZinc relies on the CMake tool (https://cmake.org). It
15will try to find some solvers (Gecode, CBC, SCIP, Gurobi, XPRESS and CPLEX) in
16their standard locations. You can point to alternative locations using flags
17such as ``-DGECODE_ROOT=...`` as additional flags to the ``cmake`` commands
18explained below. Standard environment variables, such as ``GUROBI_HOME``, are
19checked as well. See the file ``CMakeLists.txt`` for the current list of
20solvers.
21
22The following sections contain installation instructions for different operating systems:
23
24.. toctree::
25
26 installation_detailed_windows
27 installation_detailed_linux
28 installation_detailed_wasm