--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on February 2016 ---
> Any advice on how to make it work (in Cygwin/Mingw/anything else), or > would it be safer to just run a virtual machine with Linux? The virtual machine solution is obviously the easiest one (please, consider using OPAM). However, OcamlPro is known to maintain a windows distribution of OCaml. I donât know if someone have ever tried to install lablgtk with it... https://www.typerex.org/ocpwin.html L.