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] How to install Frama-C 20.0 Calcium on Windows 7

  • Subject: [Frama-c-discuss] How to install Frama-C 20.0 Calcium on Windows 7
  • From: Andre.MARONEZE at cea.fr (Andre Maroneze)
  • Date: Wed, 29 Jan 2020 14:27:39 +0100
  • In-reply-to: <CAFEBBk+HdEMRpVFemcunhQcurXZ9qwL0CA25gTVSzWif26e=Ng@mail.gmail.com>
  • References: <CAFEBBk+HdEMRpVFemcunhQcurXZ9qwL0CA25gTVSzWif26e=Ng@mail.gmail.com>
Hello,

The only way to install Frama-C on Windows 7 (that is, without the 
Windows Subsystem for Linux) is to use Cygwin.

In theory, the old installation instructions (e.g. at 
https://github.com/Frama-C/Frama-C-snapshot/blob/18.0/INSTALL.md#installing-frama-c-on-windows-via-cygwin--opam) 
should still work, since the overall process did not change.

However, Frama-C 20.0 has more dependencies than the last Frama-C which 
was tested with Cygwin, so a few extra steps/packages may be necessary.

Frama-C requires a Unix-like environment for compilation and 
installation. Cygwin does provide that, but some opam packages have 
issues when compiling under Cygwin. The OCaml on Windows installer 
(mentioned in the above link) solves most issues, but a full 
installation of Frama-C 20.0 has not been tested with it.

Overall, it may be easier to run Frama-C from a Linux virtual machine 
than to install Cygwin and perform the required steps (e.g., install 
opam, depext, depext-cygwinports, etc).



On 28/01/2020 21:24, Francois Alibert wrote:
> Hello.
>
>     Is there's a (if possible simple) way to make a full install, 
> basic and GUI,  of Frama-C 20.0 on Windows 7?
>     At least, is there's a full procedure description for going this?
>
>     Regards.
>
>     François ALIBERT.
>
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> https://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss

-- 
André Maroneze
Researcher/Engineer CEA/List
Software Reliability and Security Laboratory

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20200129/520acdda/attachment.html>