From e2fac8eed2912bba4ebca0b349bf1b665fd3273f Mon Sep 17 00:00:00 2001
From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= <kn@lri.fr>
Date: Thu, 18 Apr 2013 11:28:58 +0200
Subject: [PATCH] Add an INSTALL file.

---
 INSTALL | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)
 create mode 100644 INSTALL

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
+
-- 
2.17.1