--- layout: fc_discuss_archives title: Message 72 from Frama-C-discuss on September 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] List of pre-requests for frama-c-Fluorine



Hello,

2013/9/11 Dragan <dragan.stosic at gmail.com>:
> Now I am going to do the same with  the latest version of frama-c. Does
> anyone can send me a list of tools I need to install first ?
> Ubuntu 12.04 64bits ( works well ? )
> OCamel-version ?
> gtk-version ?
> Coq version ?

>From this message from Claude in August
(http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2013-August/003714.html)
you'll probably need:
 - Frama-C Fluorine 20130601
 - Why3 0.81
 - Why 2.33
 - Coq 8.4
 - Alt-Ergo 0.95.1

And a little tweak in Why 2.33 (see Claude's message).

Regarding OCaml, I have compiled everything (except Why2/Jessie) with
OCaml 4.00.1 but it should work with the OCaml provided on Ubuntu
12.04.

Hope it helps,
Best regrads,
david