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



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