User manual/Installation instructions

Jump to: navigation, search

User manual

Supported platforms for binary distributions

Currently the binary distributions are supported by following platforms:

Note: Other Microsoft Windows platforms may work, but have not been (thoroughly) tested.

Binary distributions for some linux versions are available. See the Download page for more details.

For (manually) installing the mCRL2 toolset under other Unix/Linux variants, please follow the CMake build instructions.

A binary distribution for Darwin is available. See the Download page for details.

For manually installing the mCRL2 toolset under Mac OS X, please follow the CMake build instructions.

These instructions are for installing the toolset on Windows.

If a previous version of the toolset is installed, make sure to uninstall the toolset via "Add or Remove Programs" in the "Control Panel"
Obtain a binary distribution from the download page.
Install the toolset with the windows installer. The toolset will be installed to the chosen path.
The tools can be found in the installation directory of your choice.
NOTE: The toolset contains a number of command line tools. For effective use of these tools we advise you to add the installation directory to your PATH environment variable. This can be achieved by making the appropriate choice in the installer.