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