--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on June 2014 ---
Hello, Is there a packaged windows version of latest Frama-C? I'm working on Windows and using usually a Linux virtual machine with Frama-C in it, but some of my colleagues would prefer a native windows version. Has anybody attempted to compile Frama-C with opam on Windows (in a cygwin or mingw environment)? What about Gtk+ libraries? From my very old experiment on building an OCaml lablgtk program on Windows, one needs to be a Windows developer to install the correct versions of DLLs like Gtk+ and solve windows specific issues. I'm not a Windows developer. :-) Best regards, david