[ivette] macOS removal

ivette/ivette-macos-cleanup.sh

+#!/bin/zsh
+##########################################################################
+#                                                                        #
+#  This file is part of Frama-C.                                         #
+#                                                                        #
+#  Copyright (C) 2007-2022                                               #
+#    CEA (Commissariat à l'énergie atomique et aux énergies              #
+#         alternatives)                                                  #
+#                                                                        #
+#  you can redistribute it and/or modify it under the terms of the GNU   #
+#  Lesser General Public License as published by the Free Software       #
+#  Foundation, version 2.1.                                              #
+#                                                                        #
+#  It is distributed in the hope that it will be useful,                 #
+#  but WITHOUT ANY WARRANTY; without even the implied warranty of        #
+#  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the         #
+#  GNU Lesser General Public License for more details.                   #
+#                                                                        #
+#  See the GNU Lesser General Public License version 2.1                 #
+#  for more details (enclosed in the file licenses/LGPLv2.1).            #
+#                                                                        #
+##########################################################################
+
+echo "Finalizing Ivette Removal…"
+rm -fr /Applications/Ivette.app
+rm -f $0
+echo "Done."

ivette/makefile.opam

@@ -38,6 +38,9 @@ uninstall:
 	@echo "Removing Ivette…"
 	@rm -f $(PREFIX)/bin/ivette
 	@rm -f $(PREFIX)/lib/frama-c/ivette.tgz
-	@rm -fr $(PREFIX)/lib/ivette     # linux
-	@rm -fr /Applications/Ivette.app # macOS
+	@if test -d /Applications/Ivette.app ;\
+	 then \
+	 mkdir -p $(PREFIX)/bin; \
+	 install ivette/ivette-macos-cleanup.sh $(PREFIX)/bin/ivette; \
+	 fi
 	@echo "Done"

opam

@@ -144,7 +144,7 @@ depopts: [
 
 post-messages: [
   "****** Frama-C/WP **************************************"
-  "This plug-in requires at least one external provers."
+  "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)"
@@ -157,4 +157,5 @@ post-messages: [
   "- install NVM (https://github.com/nvm-sh/nvm)"
   "- run 'nvm use 16'"
   "- run 'npm install --global yarn'"
+  "On macOS, run 'ivette' after OPAM removal."
 ]