**************************************************************************
*                                                                        *
*     The Alt-ergo theorem prover                                        *
*     Copyright (C) 2006-2010                                            *
*                                                                        *
*     Sylvain Conchon                                                    *
*     Evelyne Contejean                                                  *
*     Stephane Lescuyer                                                  *
*     Mohamed Iguernelala                                                *
*     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.
 
  1. Configure with "./configure"

  2. Compile with "make".  

  2. Install with "make install".  You may need superuser permissions.

