--- layout: fc_discuss_archives title: Message 20 from Frama-C-discuss on December 2008 ---
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