----------------------------------------------------------------------
---  WP 0.3 Carbon-20110201
----------------------------------------------------------------------

----------------------------------------------------------------------
Requirements:
----------------------------------------------------------------------

 - Frama-C Carbon-20110201 (mandatory)
 - Alt-Ergo 0.92 (optional)
 - Why 2.29      (optional)
 - Coq 8.3       (optional)
 - Simplify      (optional)
 - Z3            (optional)

----------------------------------------------------------------------
Installation Instructions (Dynamic Plug-in)
----------------------------------------------------------------------

1. Decompress the tarball

2. Check installed version frama-c (see requirements)
   $ frama-c -version

3. Execute the following commands:
   $ ./configure
   $ make
   $ [sudo] make install

The plugin is installed at Frama-C installation site.

4. To remove WP plug-in from Frama-C installation:
   $ [sudo] make uninstall

----------------------------------------------------------------------
Installation Instructions (Static Plug-in)
----------------------------------------------------------------------

1. Install the *source* distribution of Frama-C
   $ tar xf <frama-c>.tar.gz

2. Decompress the WP sources in directory src/wp of Frama-C:
   $ tar xf <wp>.tar.gz
   $ mv <wp> <frama-c>/src/wp

3. Rebuild Frama-C:
   $ cd <frama-c>
   $ ./configure
   $ make
   $ [sudo] make install

----------------------------------------------------------------------
Copyright (C) 2007-2011                                               
CEA (Commissariat à l'énergie atomique et aux énergies alternatives)                                                
----------------------------------------------------------------------