From 12bbac7785b0918ee44d28cf3384bd35b813d87f Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Fri, 17 Dec 2021 16:56:07 +0100
Subject: [PATCH] Add WSL2 workaround to 'Get Frama-C' page
---
html/get-frama-c.html | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/html/get-frama-c.html b/html/get-frama-c.html
index 10f07cb0..8d4f7471 100644
--- a/html/get-frama-c.html
+++ b/html/get-frama-c.html
@@ -61,8 +61,7 @@ opam install frama-c
<div class="codeTab tab-windows hide">
<pre class="shell-win">
<span class="shell-win-comment"># 1. Prepare opam installation</span>
-sudo apt update
-sudo apt upgrade
+sudo apt update && sudo apt upgrade
sudo apt install make m4 gcc opam
<span class="shell-win-comment"># 2. opam setup</span>
@@ -76,6 +75,8 @@ opam depext --install -y lablgtk3 lablgtk3-sourceview3
<span class="shell-win-comment"># 4. Install Frama-C</span>
opam depext --install -y frama-c
+<span class="shell-win-comment"># On WSL2, run the GUI as: </span>GDK_BACKEND=x11 frama-c-gui <options>
+
<span class="shell-win-comment"># Issues? Problems? <a target="_blank" class="shell-link shell-win" href="https://git.frama-c.com/pub/frama-c/blob/master/INSTALL.md">Click here for help/instructions</a></span></pre>
</div>
</div>
--
GitLab