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

So far, I'va installed

ocaml
libgtksourceview2.0-dev
liblablgtk2-gnome-ocaml-dev

Regards,
Boris