Commit c9ef10bf authored by Maximilien Colange's avatar Maximilien Colange

Merge branch 'packaging'

parents 1bc7cdf2 3ac158ed
TiAMo (Timed Automata Model-checker) TiAMo (Timed Automata Model-checker)
M. Colange ====================================
O. Sankur [M. Colange](http://lsv.fr/~colange)
[O. Sankur](http://people.irisa.fr/Ocan.Sankur/)
This tool is also based on the DBM library from Uppaal and on the timed automata parser library from Uppaal. This tool is also based on the DBM library from [Uppaal](http://people.cs.aau.dk/~adavid/UDBM/index.html) (part of the udbml library),
The name of the authors and contributors of these libraries can be found in their respective folders. and on the [timed automata parser library from Uppaal](http://people.cs.aau.dk/~marius/utap/).
Both libraries have been adapted by M. Colange (essentially to drop dependency on Boost, and to work with C++11). The name of the authors and contributors of these libraries can be found in their
respective folders.
Both libraries have been adapted by M. Colange (essentially to drop dependency on Boost,
and to work with C++11).
INSTALLATION NOTES INSTALLATION NOTES
------------------
Requires ocaml, ocamlbuild, camlp4 (you can obtain them through opam). Requires ocaml and ocamlbuild (you can obtain them through opam).
Requires libxml2 (for the parser). Requires libxml2 (for the parser).
Requires a C++11-compatible compiler. Requires a C++11-compatible compiler.
Tested (and works fine) with gcc-4.7, gcc-4.8, gcc-4.9 and gcc-5 (5.3.0). Tested (and works fine) with gcc-4.7, gcc-4.8, gcc-4.9 and gcc-5 (5.3.0).
- install udbml (see github.com/osankur/udbml.git) - install [udbml](http://github.com/osankur/udbml.git)
- install TiAMo - install TiAMo
The script 'build.sh' retrieves udbml, compiles and installs it (locally), then compiles The script 'build.sh' retrieves udbml, compiles and installs it (locally), then compiles
......
...@@ -6,7 +6,7 @@ INSTALL_DIR=$PWD/local ...@@ -6,7 +6,7 @@ INSTALL_DIR=$PWD/local
git clone https://github.com/osankur/udbml.git git clone https://github.com/osankur/udbml.git
cd udbml cd udbml
autoreconf -vfi autoreconf -vfi
./configure --prefix=$INSTALL_DIR AR=ar CFLAGS="-O3 -DNDEBUG $CFLAGS" CPPFLAGS=$CPPFLAGS LDFLAGS=$LDFLAGS ./configure --prefix=$INSTALL_DIR CFLAGS="$CFLAGS" CPPFLAGS=$CPPFLAGS LDFLAGS=$LDFLAGS
make make
make install make install
cd .. cd ..
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment