Build instructionsΒΆ

The mCRL2 source code can be obtained in two ways. The source code for releases of the toolset are available as a source tarball, see Download the latest release of mCRL2. The source code for the development version of the toolset is available in our Git repository hosted at Github. It can be obtained using:

In the remainder of this manual, we assume that you have the source code on your system in a folder called mcrl2/src. We will set up an out-of-source build in mcrl2/build, with a staging directory in mcrl2/stage.