Skip to content
Snippets Groups Projects
Commit cd24b86a authored by David Bühler's avatar David Bühler Committed by Loïc Correnson
Browse files

[opam] Improves readability of opam messages after installation.

parent 32646cc1
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 14 additions and 14 deletions
opam
+ 14
− 14
View file @ cd24b86a
...@@ -142,18 +142,18 @@ depopts: [ ...@@ -142,18 +142,18 @@ depopts: [
] ]
post-messages: [ post-messages: [
"****** Frama-C/WP **************************************" "The Frama-C/WP plug-in requires one or more external prover(s).
"This plug-in requires one or more external prover(s)." Recommended provers are:
"Recommended provers are:" - Alt-Ergo (https://alt-ergo.ocamlpro.com)
"- Alt-Ergo (https://alt-ergo.ocamlpro.com)" - CVC4 (https://cvc4.github.io)
"- CVC4 (https://cvc4.github.io)" - Z3 (https://github.com/Z3Prover/z3)
"- Z3 (https://github.com/Z3Prover/z3)" Use 'why3 config detect' to configure new provers.
"Use 'why3 config detect' to configure new provers." "
"****** Ivette (new Frama-C GUI) ************************" "Ivette is a new GUI for Frama-C, currently in development.
"Run 'ivette' once (online) to finalize installation." Run 'ivette' once (online) to finalize installation.
"Once finalized, 'ivette' will work offline." Once finalized, 'ivette' will work offline.
"Finalization also requires Node v16 and Yarn:" Finalization also requires Node v16 and Yarn:
"- install NVM (https://github.com/nvm-sh/nvm)" - install NVM (https://github.com/nvm-sh/nvm)
"- run 'nvm use 16'" - run 'nvm use 16'
"- run 'npm install --global yarn'" - run 'npm install --global yarn'"
] ]
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