--- layout: fc_discuss_archives title: Message 3 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



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