--- layout: fc_discuss_archives title: Message 55 from Frama-C-discuss on December 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Running ocaml on cygwin



Hi,

I'm having trouble getting ocaml from Frama-C Beryllium 1 work. I removed ocaml.3.10 that I had installed separetely using the uninstaller, cleared registry entries, removed old settings for windows environment variables and added

export OCAMLLIB=/cygdrive/c/Frama-C/lib
export CAML_LD_LIBRARY_PATH=/cygdrive/c/Frama-C/lib/stublibs

to my .bashrc. If I invoke ocaml, I get

~> ocaml
        Objective Caml version 3.11.1

>> Fatal error: cannot open pervasives.cmi
Fatal error: exception Misc.Fatal_error

That missing file is present:

~> l $OCAMLLIB |grep pervasives
pervasives.cmi*
pervasives.cmx*
pervasives.ml*
pervasives.mli*


What else could be wrong?

Regards,
Boris
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20091203/16e3a7d9/attachment.htm