--- layout: fc_discuss_archives title: Message 55 from Frama-C-discuss on December 2009 ---
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