--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on February 2016 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Advice on running Frama-C Magnesium on Windows?



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