--- layout: fc_discuss_archives title: Message 21 from Frama-C-discuss on January 2020 ---
[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



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>