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