Installation prior to version 2012.01
The easiest way to use Mcta is to directly run the precompiled binaries from the download section. If you happen to have a non-Linux OS, or if you are just interested in extending the tool, then keep on reading.
Software Prerequisites
- bison, version ≥ 2.3
- flex, version ≥ 2.5.31
- gperf
- libxml2, version ≥ 2.6.10
- scons, version ≥ 0.97
- the boost C++ libraries including program_options, version ≤ 1.40 !!!
- libutap, version 0.91
- Uppaal DBM library, version ≥ 2.0.6
- Python, version ≥ 2.4 (optional)
Setup
Mcta can be compiled in three different modes: debug, profile and release. Depending on the current compilation mode, Mcta looks for the Uppaal libraries in three different places. The easiest way to setup this somewhat complicated library environment is as follows:
To install the timed automata parser library do:
tar xvzf libutap-0.91.tar.gz cd libutap-0.91 ./configure --prefix=$HOME/lib/debug --enable-debugging make && make install ./configure --prefix=$HOME/lib/profile CXXFLAGS="-O2 -pg" CFLAGS="-O2 -pg" LDFLAGS="-pg" make && make install ./configure --prefix=$HOME/lib/release CXXFLAGS="-O3 -DNDEBUG" CFLAGS="-O3 -DNDEBUG" make && make install
To install Uppaal's DBM library do:
tar xvzf UPPAAL-dbm-2.0.6.tgz cd UPPAAL-dbm-2.0.6/modules ./configure --prefix=$HOME/lib/debug CXXFLAGS="-O2 -g" CFLAGS="-O2 -g" make && make install ./configure --prefix=$HOME/lib/profile CXXFLAGS="-O2 -pg" CFLAGS="-O2 -pg" LDFLAGS="-pg" make && make install ./configure --prefix=$HOME/lib/release CXXFLAGS="-O3 -DNDEBUG" CFLAGS="-O3 -DNDEBUG" make && make install
Building
After extracting the archive execute scons in Mcta's
root directory. This will create a debug build.
tar xvzf mcta.tgz cd mcta scons
To compile with debug, profile or release options, use scons
debug, scons profile or scons
release, respectively.
