--- layout: fc_discuss_archives title: Message 25 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



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                    |