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?




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