Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Running ocaml on cygwin

  • Subject: [Frama-c-discuss] Running ocaml on cygwin
  • From: Boris.Hollas at de.bosch.com (Hollas Boris (CR/AEY1))
  • Date: Thu, 3 Dec 2009 15:19:39 +0100
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