Prerequisites

Tip

In the instructions below, some parts are specific to an operating system. Clicking on an operating system logo will show the instructions for that platform.

To build the source code, the first requirement is to have a compiler, and, optionally, the necessary tools to build the documentation. To build the documentation, the following is needed:

The compiler suites available vary per platform. We recommend the following setup:

Windows

  • The following components of Windows SDK 7.0 SP1:

    • Compilers
    • Headers
    • Win32 development tools

    Alternatively, one can install Microsoft Visual C++ Express 2010 or a more recent or complete version of Visual Studio.

  • CMake 2.8.6 or higher.

We will assume that there is a command prompt available that performs the necessary configuration to make the nmake executable available in the path. This command prompt can be found as a batch file in C:\Program Files (x86)\Microsoft Visual Studio 9.0\VC\bin for Windows SDK 7.0 SP1. In the start menu, look for either of the following:

  • 32bit: Visual Studio 2008 Command Prompt
  • 64bit: Visual Studio 2008 x64 Win64 Command Prompt

Mac OS X

  • XCode must be installed. It can be found on the OS X installation DVDs. Consult the following table for the required version.

    OS X version

    XCode version

    10.5

    3.1

    10.6

    3.2.5

    10.7

    4.2.1

  • CMake 2.8.12 or higher.

Linux

  • g++ version 4.4.0 or higher.
  • make version 3.80 or higher.
  • CMake 2.8.6 or higher.

We recommend installing these by using the package manager of your distribution. On, e.g., Ubuntu, these can be installed by installing the build-essential PPA package.

Boost

The mCRL2 sources use libraries from the Boost 1.36 collection (or a more recent version). The build only depends on the Boost header files, and does not link to any boost libraries.

Windows

Warning

Only a 32-bit binary version is freely available at the time of writing. For 64-bit versions, compile the Boost libraries yourself.

To install a binary version of Boost, follow the steps below.

Mac OS X

Warning

Only a 32-bit version seems to be available at the time of writing. For 64-bit versions, compile the Boost libraries yourself.

Boost can be installed using MacPorts by doing the following:

  • First go to http://www.macports.org/.

  • In the left menu bar select “Available Downloads” and download the appropriate version.

  • Install the downloaded image.

  • After installing open a terminal and execute the following to test and update MacPort:

    sudo port selfupdate

    Note that port is usually installed in /opt/local/bin.

  • To install Boost, execute:

    sudo port install boost

Linux

The easiest way to install Boost using the package manager in your distribution. For instance, the libraries can be installed by installing the libboost-*-dev PPA packages when you are using Ubuntu.

You can also compile the Boost libraries yourself.

QT

The mCRL2 toolset requires QT 4 for compilation of the graphical tools (diagraphica, ltsgraph, ltsview, lpsxsim, mcrl2-gui).

Windows

When building for the Windows SDK, it is recommended to install QT using the following steps:

For a 32-bit version, binaries are available:

  • Download the Qt libraries for Windows for your compiler version from http://qt-project.org/downloads. For the Windows 7.1 SDK you need to select the Qt libraries for Windows (VS 2010).
  • Follow the installation instructions.

For a 64-bit version, perform the following steps (taken from http://qt-project.org/doc/qt-4.8/install-win.html):

  • Download the Qt libraries source package (.zip) from http://qt-project.org//downloads.

  • Extract the files, e.g. to C:\Qt\4.8.2

  • Add C:\Qt\4.8.2\bin to your PATH environment variable.

  • Open a Visual Studio command prompt, and type the following (to support both the Debug and the Release build):

    C:
    cd /D C:\Qt\4.8.2
    configure -opensource -fast -debug-and-release -no-qt3support -no-dsp -no-vcproj

    You need to accept the licence by typing y. Qt can now be compiled by typing:

    nmake
    

    Warning

    A bug in 64-bit MSVC is causing a problem in the release build of the Qt libraries. This can be circumvented by installing the fix of Microsoft KB2280741.

When installed correctly, and the binary directory for Qt has been added to your PATH, CMake should be able to automatically find your installation.

Mac OS X

QT can be installed using MacPorts by doing the following:

  • First go to http://www.macports.org/.

  • In the left menu bar select “Available Downloads” and download the appropriate version.

  • Install the downloaded image.

  • After installing open a terminal and execute the following to test and update MacPort:

    sudo port selfupdate

    Note that port is usually installed in /opt/local/bin.

  • To install QT, execute:

    sudo port install qt4-mac

Linux

Binary development versions are available in the package manager in most distributions (for instance the libqt4-dev PPA package in Ubuntu).

On Linux it is also required to install OpenGL related development packages. The exact package to be installed depends on your distribution. For Ubuntu these are e.g. libgl1-mesa-dev and libglu1-mesa-dev.

Table Of Contents

Previous topic

Build instructions

Next topic

Compiling Boost