--- layout: fc_discuss_archives title: Message 24 from Frama-C-discuss on December 2008 ---
Thanks Claude for the quick answer, but now I have another problem. Do not know why after installing liblablgtksourceview-ocaml-dev I cannot install anymore Frama-C. Before I had installed frama-c without GUI but now, when I do make, the following error occurs: *make -C ocamlgraph view_graph/viewGraph.cmo make[1]: Entering directory `/home/andre/frama-c-Lithium-20081002+beta1/ocamlgraph' ocamlc.opt -c -I src -I lib -g -I view_graph -I src -I lib -I . -I view_graph -I src -I lib -I . view_graph/viewGraph.mli File "view_graph/viewGraph.mli", line 36, characters 17-48: Unbound type constructor GnoCanvas.item make[1]: *** [view_graph/viewGraph.cmi] Error 2 make[1]: Leaving directory `/home/andre/frama-c-Lithium-20081002+beta1/ocamlgraph' make: *** [ocamlgraph/view_graph/viewGraph.cmo] Error 2* Can anyone help me? Is it normal to have so much trouble installing Frama-C in Ubuntu? What about in other platforms? Thanks a lot! 2008/12/12 Claude March? <Claude.Marche at inria.fr> > > > Andr? Passos wrote: > >> 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? >> > > Yes. > > for Ubuntu and any other debain-based distrib, just install the package > liblablgtksourceview-ocaml-dev > > (e.g sudo apt-get install liblablgtksourceview-ocaml-dev) > > > -- > Claude March? | tel: +33 1 72 92 59 69 > INRIA Saclay - ?le-de-France | mobile: +33 6 33 14 57 93 > Parc Orsay Universit? | fax: +33 1 74 85 42 29 > 4, rue Jacques Monod - B?timent N | http://www.lri.fr/~marche/<http://www.lri.fr/%7Emarche/> > F-91893 ORSAY Cedex | > > > > > > > -- Cumprimentos, Andr? Passos. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081212/d6a8f8c2/attachment.htm