--- layout: fc_discuss_archives title: Message 72 from Frama-C-discuss on September 2013 ---
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