--- layout: fc_discuss_archives title: Message 70 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-requsts for frama-c-Fluorine



Hi all,
few days ago I have installed frama-c-Oxygen + why2/jessie + why3 + coq and
PVS.
Everything works fine.
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 ?
Thanks in advance

-- 
Dragan Stosic
Senior developer at IBM
phone: 085-773-1050
e-mail: dragan.stosic at gmail.com
e-mail:DRAGANST at ie.ibm.com
IBM Technology Campus
Damastown Industrial Estate
Mulhuddart
Dublin 15
Ireland
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130911/04307637/attachment.html>