--- layout: fc_discuss_archives title: Message 27 from Frama-C-discuss on December 2008 ---
I have installed the liblablgtk2-gnome-ocaml-dev package but unfortunately the error remains. Do you have any new suggestion? I don't know if the output of configure can help, I send it in attachment. 2008/12/12 Claude March? <Claude.Marche at inria.fr> > > my guess is that another package is missing : > > liblablgtk2-gnome-ocaml-dev > > Apparently, the detection of it missing in the configure pass. Although > indeed, it seems to be a problem with the 'ocamlgraph' third-party library, > distributed together Frama-C. > > Hope it will work now. > > - Claude > > Andr? Passos wrote: > >> 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/> >>> <http://www.lri.fr/%7Emarche/> >>> F-91893 ORSAY Cedex | >>> >>> >>> >>> >>> >>> >>> >>> >> >> > -- > 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/2aed8e16/attachment-0001.htm -------------- next part -------------- An embedded and charset-unspecified text was scrubbed... Name: configure.txt Url: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081212/2aed8e16/attachment-0001.txt