From: Kim Nguyễn <kn@lri.fr>
Date: Thu, 18 Apr 2013 09:28:58 +0000 (+0200)
Subject: Add an INSTALL file.
X-Git-Tag: v0.1~96
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=e2fac8eed2912bba4ebca0b349bf1b665fd3273f

Add an INSTALL file.
---

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
+