--- layout: fc_discuss_archives title: Message 30 from Frama-C-discuss on March 2010 ---
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>