Commit d58995e3 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Update get-frama-c.html

parent adbf6196
Pipeline #36545 passed with stage
in 9 minutes and 10 seconds
...@@ -62,7 +62,7 @@ sudo apt upgrade ...@@ -62,7 +62,7 @@ sudo apt upgrade
sudo apt install make m4 gcc opam sudo apt install make m4 gcc opam
<span class="shell-win-comment"># 2. opam setup</span> <span class="shell-win-comment"># 2. opam setup</span>
opam init --disable-sandboxing -c 4.07.1 --shell-setup opam init --disable-sandboxing --shell-setup
eval $(opam env) eval $(opam env)
opam install -y depext opam install -y depext
......
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