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.

Warning: Starting the tools ltsview, ltsgraph and diagraphica from SQuADT in Windows Vista and Windows 7 may result in crashes.

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 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 Build instructions.

These instructions are for installing the toolset on Windows.

If a previous version of the toolset is installed, make sure to:
- Delete the squadt preference files from your home directory. For Windows XP this is usually C:\Documents and Settings\UserName\.squadt.
- Delete any previous mCRL2-toolset installation:
  - if a "Self-extracting Zip" has been used, delete the files manually (usually directory is located at C:\mcrl2.)
  - if a "Installable package" has been used, 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.