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

  You need Objective Caml >= 3.08 to compile the sources.
 
  1. Configure with "./configure"

  2. Compile with "make".  

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


If you are willing to use Coq (more precisely if Coq is detected when
running ./configure), you need Coq >= 7.4.


If you are willing to verify floating-point C programs using Coq, you need 
to install the Coq Library on Floating-Point Arithmetic available at
http://lipforge.ens-lyon.fr/www/pff/
