--- layout: fc_discuss_archives title: Message 58 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




Note that C:/Frama-C/lib also works, I suspect Unix-like absolute path like /cygdrive/c are not interpreted correctly somewhere...

Note also that I managed to install Beryllium2 (binary release) together with Why 2.22 compiled under Cygwin, so it's maybe not impossible!

- Nicolas

-----Original Message-----
From: frama-c-discuss-bounces at lists.gforge.inria.fr [mailto:frama-c-discuss-bounces at lists.gforge.inria.fr] On Behalf Of Hollas Boris (CR/AEY1)
Sent: jeudi 3 d?cembre 2009 15:46
To: Frama-C public discussion
Subject: Re: [Frama-c-discuss] Running ocaml on cygwin

Hi Nicolas,

> export OCAMLLIB=C:\\Frama-C\\lib

this works! Thanks. It's Really weird that cygwind doesn't seem to understand its own unix-synatx for paths.

I switched back to Beryllium1 because I couldn't get Jessie and why work with Beryllium2 on cygwin, see the thread on why 2.22. I might give it another try now that ocaml works.

-Boris

_______________________________________________
Frama-c-discuss mailing list
Frama-c-discuss at lists.gforge.inria.fr
http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss