Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

  • Subject: [Frama-c-discuss] Advice on running Frama-C Magnesium on Windows?
  • From: john.eriksson.16 at (John Eriksson)
  • Date: Mon, 1 Feb 2016 10:51:22 +0100

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