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] Windows version of Frama-C Neon?

Hello David,

Le ven. 06 juin 2014 22:09:28 CEST,
David MENTR? <dmentre at linux-france.org> a ?crit :

> Is there a packaged windows version of latest Frama-C?

Not yet, but we're not missing much. We've put some effort in the Neon
release process to ensure that Frama-C could be compiled on Windows
and would run on a mingw environment. As it turned out, this required
also some small patches to OCaml and Coq.

> Has anybody attempted to compile Frama-C with opam on Windows (in a 
> cygwin or mingw environment)? What about Gtk+ libraries? From my very 
> old experiment on building an OCaml lablgtk program on Windows, one 
> needs to be a Windows developer to install the correct versions of
> DLLs like Gtk+ and solve windows specific issues. I'm not a Windows 
> developer. :-)
> 

opam does not run on Windows. You can use Wodi
(http://wodi.forge.ocamlcore.org/) instead. Patches mentioned above
have been incorporated into the related Wodi packages. Mainly what is
missing now is package Frama-C itself (+why3 for calling external
provers), checks that everything works fine and submit the package to
the wodi developer. I'll try to find some time to do it next week.

Best regards,
-- 
E tutto per oggi, a la prossima volta.
Virgile