--- layout: fc_discuss_archives title: Message 64 from Frama-C-discuss on August 2013 ---
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.