--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on February 2016 ---
I have been trying to compile Frama-C with GTK graphics and all in Cygwin for a couple of days now, but run into issues frequently. The compilation frequently fails as there appears to be a version mismatch between lablgtk2/gdk.cmi and ocaml (which is probably Cygwin's fault, I installed lablgtk and ocaml directly in Cygwin's setup manager so the versions should match). Some various other issues occur too (manual compilation of lablgtk fails due to varcc.cmo missing, etc.). Also, if I am not mistaken, Alt-Ergo is not included but must be compiled separately. This failed too as I needed Ocamlgraph, which in turn also failed due to the same gdk.cmi issue. The compilation instructions for Windows could use an update. Wodi has not been maintained for some time, and the latest Frama-C version that can be installed with it is Neon (it does work just fine though, with GUI and all relevant dependencies installed). 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? // John Eriksson KTH