Installation
============

The easiest way to use Mcta is to directly run the precompiled
binaries from http://mcta.informatik.uni-freiburg.de/. If you want to
compile your own version of mcta, then keep on reading.

Software Prerequisites
----------------------

- bison, version >= 2.3
- flex, version >= 2.5.31
- gperf
- libxml2, version >= 2.6.10
- cmake, version >= 2.8
- the boost C++ libraries (boost program_options)
- Python, version >= 2.4 (for the PDB heuristics)

Note that Mcta actually also depends on some freely available Uppaal
libraries (libutap and the Uppaal DBM library). However, since
mcta-2012.1, the mcta source tarballs also contain these libraries.

Building
--------

Although we are using cmake in order to build mcta, we currently only
support Linux systems. After extracting the mcta archive, change in
the newly created directory and execute make.

> tar xvzf mcta.tgz
> cd mcta
> make