[wp+opam] Adds a post-message for Why3 provers

4c32277d · Allan Blanchard · 17df8863 · 4c32277d
Commit 4c32277d authored 4 years ago by Allan Blanchard
--- a/opam/opam
+++ b/opam/opam
@@ -135,3 +135,7 @@ messages: [
  "The Frama-C/Wp native support for Coq is now deprecated (use TIP or Why-3 instead)."
  {coq:installed}
 ]
+
+post-messages: [
+  "Why3 provers setup: rm -r ~/.why3.conf ; why3 config --detect"
+]