Skip to content
Snippets Groups Projects
Commit 779d7d1d authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Fix Scandium installation instructions

parent d5bd575d
No related branches found
No related tags found
1 merge request!82Fix Scandium installation instructions
Pipeline #30640 passed
Stage: test
    Stage: css
      Hide whitespace changes
      Inline Side-by-side
      html/installations/scandium.md
      + 2
      − 2
      View file @ 779d7d1d
      ...@@ -91,7 +91,7 @@ Most provers are available on all platforms. After their installation, ...@@ -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: Why3 must be configured to make them available for Frama-C/WP:
      ```shell ```shell
      why3 config --detect why3 config --full-config
      ``` ```
      ### Known working configuration ### Known working configuration
      ...@@ -197,7 +197,7 @@ sudo apt install make m4 gcc opam ...@@ -197,7 +197,7 @@ sudo apt install make m4 gcc opam
      Then opam can be set up using these commands: 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) eval $(opam env)
      opam install -y depext opam install -y depext
      ``` ```
      ......
      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