--- layout: fc_discuss_archives title: Message 20 from Frama-C-discuss on December 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Problem with frama-c-gui



Hi!

I am trying to install Frama-C Lithium version in Ubuntu 8.10, when I run
the command configure the following warning appears:
*  configure: gui                  : no (see warning about
/usr/lib/ocaml/3.10.2/lablgtk2/lablgtksourceview.cma,/usr/lib/ocaml/3.10.2/lablgtksourceview/lablgtksourceview.cma)
*
Does anybody knows what this means? How can I fix it? Is because of this
error that I don't have frama-c-gui?

-- 
Best Regards, Andr? Passos.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081212/3d0624a7/attachment.htm