--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on February 2016 ---
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