1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
INSTALLATION
============
You need Objective Caml >= 3.08 to compile the sources.
To compile the graphical user interface gwhy (optional) you also need the
Lablgtk2 library (http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html)
There is a Debian package (liblablgtk2-ocaml-dev).
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/
|
