The mCRL2 source code can be obtained in two ways. The source code of the latest release version of the toolset is available as a source tarball, see Download the latest release of mCRL2. The development version can be checked out from our Subversion repository:
svn co https://svn.win.tue.nl/repos/MCRL2/trunk mCRL2
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.