Add an INSTALL file.

diff --git a/INSTALL b/INSTALL
new file mode 100644 (file)
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
+