This file is part of AISC 2010 - How to correctly prune tropical trees - Case study
Copyright (C) 2010 Jean-Vincent Loddo
Copyright (C) 2010 Luca Saiu

This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 2 of the License, or
(at your option) any later version.

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with this program.  If not, see <http://www.gnu.org/licenses/>.

Requirements
============

GNU Make is required *for compilation*. Please
also see the file "REQUIREMENTS" for the specific build-time and 
runtime requirements of this particular project.

Compilation
===========

You can build all the default targets by simply running GNU make, with no
parameters; this means just typing
  make
on GNU systems such as GNU/Linux, and possibly
  gmake
on other systems such as BSD. From now on we are going to assume that GNU
Make is installed as "make".

Programs and libraries are always created in the "_build/"
subdirectory. Make should print "Success" at the end of the compilation
process if all goes well.

Example of usage
================
$ _build/parse "let x = 84 = 42 = 21 in 1 + 2 * 3"
$ _build/parse -p AM "let x = 84 = 42 = 21 in 1 + 2 * 3"
$ _build/parse --no-memoization "let x = 84 = 42 = 21 in 1 + 2 * 3"
$ _build/parse_comparison "let x = 84 = 42 = 21 in 1 + 2 * 3"

The list of available options of the program "parse" may be obtained
calling it without arguments:
$ _build/parse
