From 48c07a99297fc3a6cf3e0f1e699ece9bb1366bcb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Mon, 10 Oct 2022 18:40:46 +0200
Subject: [PATCH] [ivette] uninstall binary artifacts

---
 ivette/makefile.opam | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/ivette/makefile.opam b/ivette/makefile.opam
index 75b2cea6d4f..fee44db5e7a 100644
--- a/ivette/makefile.opam
+++ b/ivette/makefile.opam
@@ -35,5 +35,7 @@ install:
 
 uninstall:
 	@echo "Removing Ivette"
-	@rm -fr $(PREFIX)/bin/ivette
-	@rm -fr $(PREFIX)/lib/frama-c/ivette.tgz
+	@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
-- 
GitLab