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



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