--- layout: fc_discuss_archives title: Message 2 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?



> 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?

The virtual machine solution is obviously the easiest one (please, consider using OPAM).
However, OcamlPro is known to maintain a windows distribution of OCaml.
I don’t know if someone have ever tried to install lablgtk with it...
https://www.typerex.org/ocpwin.html
	L.