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



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