**************************************************************************
*                                                                        *
*     The Alt-Ergo theorem prover                                        *
*     Copyright (C) 2006-2011                                            *
*                                                                        *
*     Sylvain Conchon                                                    *
*     Evelyne Contejean                                                  *
*                                                                        *
*     Francois Bobot                                                     *
*     Mohamed Iguernelala                                                *
*     Stephane Lescuyer                                                  *
*     Alain Mebsout                                                      *
*                                                                        *
*     CNRS - INRIA - Universite Paris Sud                                *
*                                                                        *
*   This file is distributed under the terms of the CeCILL-C licence     *
*                                                                        *
**************************************************************************

INSTALLATION
============

  You need Objective Caml >= 3.08 and ocamlgraph to compile the sources.
  You need LablGtk2 and the widget GSourceView2 to compile the GUI.
 
  1. Configure with "./configure"

  2. Compile with "make".  

  3. Install with "make install". 

  4. Compile the GUI with "make gui" and install it with "make install-gui"
 
 You may need superuser permissions to perform the installation.

