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

First, a remark not related with ocaml, what about installing the latest version of Frama-C (i.e. Beryllium 2)?

Second, let's try a Windows-like path for your OCAMLLIB :
export OCAMLLIB=C:\\Frama-C\\lib

It works for me.

Hope this helps

- Nicolas

From: frama-c-discuss-bounces at [mailto:frama-c-discuss-bounces at] On Behalf Of Hollas Boris (CR/AEY1)
Sent: jeudi 3 d?cembre 2009 15:20
To: Frama-C public discussion
Subject: [Frama-c-discuss] Running ocaml on cygwin


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

What else could be wrong?

-------------- next part --------------
An HTML attachment was scrubbed...