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

Le lun. 29 mars 2010 14:28:26 CEST,
aintest3f aintest3l <aintest3 at gmail.com> a ?crit :

> 
> [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.

ocamlopt is the native-code ocaml compiler. I suppose that there is a
package for that in RHEL5, but you might be interested in installing
frama-c through the godi system http://godi.camlcity.org/godi/index.html
godi is a package manager for ocaml sources, and frama-c has is
packaged in there, as well as all its dependencies. Note however that
for the ocaml libraries which are bindings to C libraries (gtk,
gtksourceview, tk,...), you'll still have to install the -dev versions
of the latter from your distribution (but this would also be
needed for a direct compilation of Frama-c), godi will only tell you
which headers are missing.

Hope this helps,
-- 
E tutto per oggi, a la prossima volta.
Virgile