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

[Frama-c-discuss] installation on Ubuntu



Hi,

Le 26/08/2013 14:51, Stephen Siegel a ?crit :
> I'm just posting here what I did to install these tools on a fresh Ubuntu system in case it is helpful to others...

I recently had to install Frama-C from sources
on a fresh, empty, Debian virtual machine, and I installed :
- gcc make xfce4
- ocaml ocaml-findlib
- liblablgtksourceview2-ocaml-dev
- liblablgtk2-gnome-ocaml-dev
- graphviz

I didn't use jessie or WP, so I didn't need why, alt-ergo, etc.
Notice that xfce4 is not a real dependency :
any graphical environment would do I guess.
And I am not sure any more is ocaml-findlib was really needed.

You can also have a look here for the exact process :
https://anne.pacalet.fr/Notes/outils/frama-c/#index2h2

Hope this helps.
-- 
Anne.