X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=INSTALL;fp=INSTALL;h=f599da3de7e65c295bddfbf1d809df3855e4daf3;hp=0000000000000000000000000000000000000000;hb=e2fac8eed2912bba4ebca0b349bf1b665fd3273f;hpb=82fa70675272c579a642c6e62c8fbf28a1bba56c

diff --git a/INSTALL b/INSTALL
new file mode 100644
index 0000000..f599da3
--- /dev/null
+++ b/INSTALL
@@ -0,0 +1,30 @@
+TAToo: The Tree Automata Toolkit
+--------------------------------
+
+Dependencies:
+-------------
+
+You will need the following program/libraries (and their dependencies)
+to build tatoo:
+
+- a C++ compiler
+- the OCaml compiler version 3.12.1 or subsequent
+- the Findlib utility (ocamlfind)
+- OCaml bindings for the XML expat parser, ocaml-expat
+  http://mmzeeman.home.xs4all.nl/ocaml/
+- OCaml utf-8 aware lexer generator, ulex
+  http://www.cduce.org/download.html#side
+
+
+Compilation instructions:
+-------------------------
+
+First run the configure script:
+
+./configure [options]
+
+The output of ./configure --help shows the various compilation options.
+You can then build the executable with:
+
+./remake all
+