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

[Frama-c-discuss] Frama-C on Windows 10 via WSL



Hello,

Next to the article "Habemus Frama-C in Fenestris (Frama-C on Windows, 
with WSL)" authored by André at Frama-C's blog,
Allan has done some more investigations and suggests to use VcXsrv as X 
server instead of Cygwing/X.

An update of the installation process for "Frama-C 19 (Potassium)" on 
"Windows 10" has been issued at
https://github.com/Frama-C/Frama-C-snapshot/blob/5eb3bf11f6d7ca4c2bb074cca7a1a428874a96d9/INSTALL.md

Do not hesitate to give us your feedback or suggestions, either via 
comments to the pull request
     https://github.com/Frama-C/Frama-C-snapshot/pull/25
or a message to frama-c-discuss.

Thank's to them,

-- Patrick.