[ivette] makefile.install was git-ignored

ivette/makefile.opam

+##########################################################################
+#                                                                        #
+#  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).            #
+#                                                                        #
+##########################################################################
+
+# --------------------------------------------------------------------------
+# --- OPAM Installation
+# --------------------------------------------------------------------------
+
+.PHONY: install uninstall
+
+install:
+	@echo "Installing Ivette (OPAM)"
+	mkdir -p $(PREFIX)/bin
+	install ivette/ivette-opam.sh $(PREFIX)/bin/ivette
+	mkdir -p $(PREFIX)/lib/frama-c
+	tar zcf $(PREFIX)/lib/frama-c/ivette.tgz ivette
+
+uninstall:
+	@echo "Removing Ivette"
+	@rm -fr $(PREFIX)/bin/ivette
+	@rm -fr $(PREFIX)/lib/frama-c/ivette.tgz

opam/opam

@@ -94,11 +94,11 @@ build: [
 install: [
   [make "PREFIX=%{prefix}%" "MANDIR=%{mandir}%" "install"]
   [make "PREFIX=%{prefix}%" "-C" "doc" "install"] {with-doc}
-  [make "PREFIX=%{prefix}%" "-f" "ivette/makefile.install" "install"]
+  [make "PREFIX=%{prefix}%" "-f" "ivette/makefile.opam" "install"]
 ]
 
 remove: [
-  [make "PREFIX=%{prefix}%" "-f" "ivette/makefile.install" "uninstall"]
+  [make "PREFIX=%{prefix}%" "-f" "ivette/makefile.opam" "uninstall"]
 ]
 
 run-test: [