--- layout: fc_discuss_archives title: Message 17 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



Boris Hollas a ?crit :
> Hello Virgile,
> 
> I assume that I don't have to compile liblablgtk2 because there's
> liblablgtk2-gnome-ocaml.
> 
> There are two packages for gtksourceview: libgtksourceview1.0-0 and
> libgtksourceview2.0. libgtksourceview-dev has a dependency for
> libgtksourceview1.0-0. However, with either package, configure disables
> the Frama-C GUI. I first tried libgtksourceview-dev, then
> libgtksourceview2.0-dev. In both cases, configure reports:
> 
> checking for /usr/lib/ocaml/lablgtk2/lablgtk.cmxa... yes
> checking for /usr/lib/ocaml/lablgtk2/lablgtksourceview.cmxa... no
> checking for /usr/lib/ocaml/lablgtksourceview/lablgtksourceview.cmxa...
> no
> configure: WARNING: lablgtksourceview.cmxa not found
> plug-ins disabled:
>   gui
> 
> There's also this warning:
> 
> configure: WARNING: dot not found: you should install GraphViz
> plug-ins not fully functional:
>   syntactic_callgraph

GraphViz is required for displaying the syntactic callgraph in the 
Frama-C GUI.

> So far, I'va installed
> 
> ocaml
> libgtksourceview2.0-dev
> liblablgtk2-gnome-ocaml-dev

Also install the following packages:
liblablgtksourceview-ocaml-dev
graphviz

Hope this helps,
Julien