--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on June 2014 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Windows version of Frama-C Neon?



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