--- layout: fc_discuss_archives title: Message 73 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



2013/9/11 David MENTRE <dmentre at linux-france.org>:
> 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.
>


In fact messages in this thread should help you:
  http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2013-August/thread.html#3749
("installation on Ubuntu   Stephen Siegel ")

Regards,
d.