From 779d7d1d1927ae675f01b573a6941b67c1d454fe Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Thu, 5 Nov 2020 10:41:18 +0100
Subject: [PATCH] Fix Scandium installation instructions
---
html/installations/scandium.md | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/html/installations/scandium.md b/html/installations/scandium.md
index 9862db1c..d87d2de1 100644
--- a/html/installations/scandium.md
+++ b/html/installations/scandium.md
@@ -91,7 +91,7 @@ Most provers are available on all platforms. After their installation,
Why3 must be configured to make them available for Frama-C/WP:
```shell
- why3 config --detect
+ why3 config --full-config
```
### Known working configuration
@@ -197,7 +197,7 @@ sudo apt install make m4 gcc opam
Then opam can be set up using these commands:
```
-opam init --disable-sandboxing -c 4.05.0 --shell-setup
+opam init --disable-sandboxing -c 4.07.1 --shell-setup
eval $(opam env)
opam install -y depext
```
--
GitLab