From cd24b86a1c28ce8763375530ea749d6885b9cb20 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 20 Oct 2022 10:40:28 +0200
Subject: [PATCH] [opam] Improves readability of opam messages after
 installation.

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

diff --git a/opam b/opam
index 66652917748..876ded55eef 100644
--- a/opam
+++ b/opam
@@ -142,18 +142,18 @@ depopts: [
 ]
 
 post-messages: [
-  "****** Frama-C/WP **************************************"
-  "This plug-in requires one or more external prover(s)."
-  "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'"
+"The Frama-C/WP plug-in requires one or more external prover(s).
+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 is a new GUI for Frama-C, currently in development.
+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