Commit e33266a9 authored by Andre Maroneze's avatar Andre Maroneze 💬
Browse files

Merge branch 'fix/andre/install-wsl-ubuntu-20.04' into 'stable/scandium'

[Doc] update installation instructions for WSL + Ubuntu 20.04

See merge request frama-c/frama-c!2691
parents a2877a69 ab04eac9
......@@ -141,8 +141,9 @@ following tools:
#### Prerequisites: WSL + a Linux distribution
For enabling WSL on Windows, you may follow these instructions
(we tested with Ubuntu 18.04 LTS; other distributions/versions should also
work, but the instructions below may require some modifications).
(we tested with Ubuntu 18.04 LTS and Ubuntu 20.04 LTS;
other distributions/versions should also work,
but the instructions below may require some modifications).
https://docs.microsoft.com/en-us/windows/wsl/install-win10
......@@ -182,7 +183,7 @@ For installing opam, some packages are required. The following commands can be
run to update the system and install those packages:
```
sudo add-apt-repository -y ppa:avsm/ppa
sudo add-apt-repository -y ppa:avsm/ppa # unnecessary for Ubuntu 20.04
sudo apt update
sudo apt upgrade
sudo apt install make m4 gcc opam
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment