--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on September 2019 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Installation procedure of Frama-C Potassium in the Windows Subsystem for Linux



Hello,

The installation instructions using WSL, written by Allan Blanchard, are (temporarily) available in a modified INSTALL.md file, in my copy of Frama-C's Github repository:

https://github.com/maroneze/Frama-C-snapshot/blob/master/INSTALL.md#installing-frama-c-on-windows-via-wsl

These instructions will be part of the next Frama-C release (20 - Calcium). For now, I uploaded them to this Github repository to make them available. Please tell us if you encounter any issues with them.

Best regards,

________________________________________
De : Frama-c-discuss [frama-c-discuss-bounces at lists.gforge.inria.fr] de la part de Max Veen [mveen at intecma.nl]
Envoyé : mardi 17 septembre 2019 09:20
À : frama-c-discuss at lists.gforge.inria.fr
Objet : [Frama-c-discuss] Installation procedure of Frama-C Potassium in the Windows Subsystem for Linux

Hi all,

I want to use Frama-C on Windows 10 professional for analyzing and
instrumenting our code.

I have tried to install Frama-C with Cygwin and MingW on windows, but
this installation has many

library version dependencies and is cumbersome.

So I have tried to find a more convenient and better way to accomplish this.

On the web I encoutered a blog from June this year of Frama-C news and
ideas by André Maroneze.

In this blog he tells in a nutshell the installation procedure to get
Frama-C running on the WSL.

What I like to know is the full installation procedure details to get
Frama-C up and running on WIndows 10

with the WSL and the X-server for the Frama GUI.

Can anyone of you guys (André) help me with the installation details?

I will be very grateful!

Thanks for help in advance.

Regards,

Max

_______________________________________________
Frama-c-discuss mailing list
Frama-c-discuss at lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss