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



If I do make in *
/home/andre/frama-c-Lithium-20081002+beta1/ocamlgraph/viewgraph*
everything works well, but if I do make in *
/home/andre/frama-c-Lithium-20081002+beta1/ocamlgraph*
the following message error appears:
*andre at andre-desktop:~/frama-c-Lithium-20081002+beta1/ocamlgraph$ make
ocamlopt.opt -I src -I lib -a -o graph.cmxa graph.cmx
ar: graph.o: No such file or directory
Error while creating the library graph.a
make: *** [graph.cmxa] Error 2*



2008/12/12 Anne Pacalet <anne.pacalet at sophia.inria.fr>

> Andr? Passos a ?crit :
>
>> 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.
>>
>
> This is strange because it seems that everything is there :
> checking for /usr/lib/ocaml/3.10.2/lablgtk2/lablgtk.cma... yes
> checking for /usr/lib/ocaml/3.10.2/lablgtk2/lablgtksourceview.cma... yes
> checking for /usr/lib/ocaml/3.10.2/lablgtk2/lablgnomecanvas.cma... yes
>
> Can you please try to do "make' in the directory :
> /home/andre/frama-c-Lithium-20081002+beta1/ocamlgraph/viewgraph
> to see if you have errors ?
>
> Sorry for all the toubles you have.
> --
> Anne Pacalet  -
> INRIA - 2004, route des Lucioles BP.93 F-06902 Sophia Antipolis Cedex.
> Tel : +33 (0) 4 9715 5345
>



-- 
Cumprimentos, Andr? Passos.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081212/beadcfc0/attachment.htm