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




Le 01/02/2016 11:59, Loïc Correnson a écrit :
>> 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.
I was told lablgtk perfectly compiles with ocpwin. However, we had not 
tried to
compile Frama-C or AltGr-ergo

- Mohamed.

>
>
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss