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



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