--- layout: fc_discuss_archives title: Message 13 from Frama-C-discuss on April 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Compiling Frama-C on Ubuntu 9.10



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