Below we list the various dependencies required to build the mCRL2 toolset in its basic configuration. For testing and building the documentation we need additional dependencies that are listed at the end. For linux its most convenient to use the system package manager to acquire the necessary dependencies.
GCC or Clang compiler, which can be obtained from the
Qt version 6.2.4. Can be installed using the
qtbase6-devpackage on Ubuntu.
Boost library sources, which can be acquired from the
CMake 3.14.0 or higher from <http://www.cmake.org/cmake/resources/software.html>`.
Python 3.6 <https://www.python.org/> is optionally needed for various activities such as testing, building documentation and code generation.
A user-friendly command-line interface is provided by the
executable. Example usage is as follows (from the directory
From the interface you are presented with, you can choose the options
explained on the instructions. Then prcessing c
will configuration the project, and pressing g will generate the Makefile.
For compilation using multiple cores, use the
-j flag; e.g., to compile
using 4 cores, use:
For every tool, an individual make target is defined. To compile only
mcrl22lps, for instance, use: