Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[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