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] Installation procedure of Frama-C Potassium in the Windows Subsystem for Linux


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

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] de la part de Max Veen [mveen at]
Envoyé : mardi 17 septembre 2019 09:20
À : frama-c-discuss at
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.



Frama-c-discuss mailing list
Frama-c-discuss at