--- layout: fc_discuss_archives title: Message 13 from Frama-C-discuss on April 2010 ---
Hello Boris, Le lun. 19 avril 2010 10:12:46 CEST, Boris Hollas <boris.hollas at gmx.de> a ?crit : > - What Ubuntu-packages do i have to install > - What packages do I have to download and compile for Frama-C etc. > - What is the order in which sources must be compiled and installed. > LablGTK configuration: > libgnomecanvas not found > gtksourceview 1 not found > gtksourceview 2 not found You need in addition gnomecanvas and gtksourceview. On the Ubuntu side, this should be obtained through packages libgtksourceview-dev liblablgtk2-gnome-ocaml-dev and their dependencies. Then, you should be able to install frama-c and why (which contains the jessie plugin). Hope this helps, -- E tutto per oggi, a la prossima volta. Virgile