1 TAToo: The Tree Automata Toolkit
2 --------------------------------
7 You will need the following program/libraries (and their dependencies)
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
19 Compilation instructions:
20 -------------------------
22 First run the configure script:
26 The output of ./configure --help shows the various compilation options.
27 You can then build the executable with: