INSTALL

   1 TAToo: The Tree Automata Toolkit
   2 --------------------------------
   3
   4 Dependencies:
   5 -------------
   6
   7 You will need the following program/libraries (and their dependencies)
   8 to build tatoo:
   9
  10 - a C++ compiler
  11 - the OCaml compiler version 3.12.1 or subsequent
  12 - the Findlib utility (ocamlfind)
  13 - OCaml bindings for the XML expat parser, ocaml-expat
  14   http://mmzeeman.home.xs4all.nl/ocaml/
  15 - OCaml utf-8 aware lexer generator, ulex
  16   http://www.cduce.org/download.html#side
  17
  18
  19 Compilation instructions:
  20 -------------------------
  21
  22 First run the configure script:
  23
  24 ./configure [options]
  25
  26 The output of ./configure --help shows the various compilation options.
  27 You can then build the executable with:
  28
  29 ./remake all
  30