--- layout: fc_discuss_archives title: Message 28 from Frama-C-discuss on December 2008 ---
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