--- layout: fc_discuss_archives title: Message 25 from Frama-C-discuss on December 2008 ---
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/> >> 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/ F-91893 ORSAY Cedex |