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

[opam] Fixes opam message about ivette installation.

parent cd24b86a
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
opam
+ 1
− 1
View file @ c417cbfe
...@@ -150,7 +150,7 @@ Recommended provers are: ...@@ -150,7 +150,7 @@ Recommended provers are:
Use 'why3 config detect' to configure new provers. Use 'why3 config detect' to configure new provers.
" "
"Ivette is a new GUI for Frama-C, currently in development. "Ivette is a new GUI for Frama-C, currently in development.
Run 'ivette' once (online) to finalize installation. Run 'ivette' once to finalize installation (requires an internet connection).
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)
......
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