Commit 54338713 authored by Maximilien Colange's avatar Maximilien Colange

Fix dependencies (and typos) in README.

parent 4b5752fb
......@@ -2,14 +2,14 @@ TiAMo (Timed Automata Model-checker)
M. Colange
O. Sankur
This tools 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 and on the timed automata parser library from Uppaal.
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
Requires ocaml, batteries, ocamlbuild, camlp4 (you can obtain them through opam)
Requires ocaml, ocamlbuild, camlp4 (you can obtain them through opam).
Requires libxml2 (for the parser).
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).
......@@ -17,5 +17,5 @@ Requires a C++11-compatible compiler.
- install udbml (see github.com/osankur/udbml.git)
- install TiAMo
The script 'build.sh' retrieves udbml, compiles and installing it (locally), then compiles
The script 'build.sh' retrieves udbml, compiles and installs it (locally), then compiles
TiAMo. Simply run this script, or modify it if you want a custom installation.
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