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