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?

  • Subject: [Frama-c-discuss] Windows version of Frama-C Neon?
  • From: dmentre at linux-france.org (David MENTRÉ)
  • Date: Fri, 06 Jun 2014 23:18:14 +0200
  • In-reply-to: <20140606225918.3a3c489b@gavalla>
  • References: <53921FF8.5050109@linux-france.org> <20140606225918.3a3c489b@gavalla>
Hello Virgile,

2014-06-06 22:59, Virgile Prevosto:
> 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.

How, great! Very good news!

Best regards,
david