--- layout: fc_discuss_archives title: Message 30 from Frama-C-discuss on March 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] configure: gui: no (see warning about /usr/local/lib/ocaml/lablgtk2/lablgtksourceview.cma, /usr/local/lib/ocaml/lablgtksourceview/lablgtksourceview.cma)



hello,

does anyone knows where i can get ocamlopt ? I wanted the gui in frama-c but
it's so much pain just to find all the dependencies to build the source...
i'm stuck at installing lablgtksourceview-0.2.0... wish there was a binary
for EL5...

[root at localhost frama-c-Beryllium-20090902-why-2.21]#
configure: gui: no (see warning about
/usr/local/lib/ocaml/lablgtk2/lablgtksourceview.cma,/usr/local/lib/ocaml/lablgtksourceview/lablgtksourceview.cma)

[root at localhost lablgtksourceview-0.2.0]#
checking for ocamlopt... no
Program not found: ocamlopt
You way have a look at config_check.log for details.

thanks
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100329/11bdcd45/attachment.htm>