Downloads
Mcta is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.
Copyright © by Sebastian Kupferschmid and Martin Wehrle
Mcta is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
| Package | Version | MD5 sum | Size | Note | |
|---|---|---|---|---|---|
| Precompiled Binaries | |||||
 |
mcta-0.2 | 0.2 | MD5 | 3904 KB | compiled with GCC 4.3.2, on Ubuntu 8.10 (32 bit) |
|
mcta-0.1 | 0.1 | MD5 | 3920 KB | compiled with GCC 4.3.2, on Ubuntu 8.10 (32 bit) |
| Source Code | |||||
 |
mcta-src-0.2 | 0.2 | MD5 | 61 KB | source code |
|
mcta-src-0.1 | 0.1 | MD5 | 61 KB | source code |
| Benchmark Files | |||||
|
benchmarks | MD5 | 34 KB | all benchmark files | |
Installation
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
- libutap, version 0.91
- Uppaal DBM library, version 2.0.6
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.
