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