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