From 71a98f084d45ce8e3c6fab923cde7dc2970d91e5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Tue, 11 Oct 2022 14:49:02 +0200
Subject: [PATCH] [opam] fix pos-install messages

---
 opam | 29 ++++++++++++++---------------
 1 file changed, 14 insertions(+), 15 deletions(-)

diff --git a/opam b/opam
index 584c7fb1ea8..d787b9837ec 100644
--- a/opam
+++ b/opam
@@ -143,19 +143,18 @@ depopts: [
 ]
 
 post-messages: [
-  "* Frama-C/WP *"
-  "    This plug-in requires at least one external provers."
-  "    Recommended provers are:"
-  "     - Alt-Ergo (https://alt-ergo.ocamlpro.com)"
-  "     - CVC4     (https://cvc4.github.io)"
-  "     - Z3       (https://github.com/Z3Prover/z3)"
-  "    Use 'why3 config detect' to update prover installation."
-  "* Ivette (new Frama-C GUI) *"
-  "    To finalize installation, you shall"
-  "    run 'ivette' once with a network connection."
-  "    Once finalized, 'ivette' will work offline."
-  "    Node v16 and Yarn will be required."
-  "     - install NVM (https://github.com/nvm-sh/nvm)"
-  "     - run 'nvm use 16'"
-  "     - run 'npm install --global yarn'"
+  "****** Frama-C/WP **************************************"
+  "This plug-in requires at least one external provers."
+  "Recommended provers are:"
+  "- Alt-Ergo (https://alt-ergo.ocamlpro.com)"
+  "- CVC4     (https://cvc4.github.io)"
+  "- Z3       (https://github.com/Z3Prover/z3)"
+  "Use 'why3 config detect' to configure new provers."
+  "****** Ivette (new Frama-C GUI) ************************"
+  "Run 'ivette' once (online) to finalize installation."
+  "Once finalized, 'ivette' will work offline."
+  "Finalization also requires Node v16 and Yarn:"
+  "- install NVM (https://github.com/nvm-sh/nvm)"
+  "- run 'nvm use 16'"
+  "- run 'npm install --global yarn'"
 ]
-- 
GitLab