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

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