diff --git a/ivette/makefile.opam b/ivette/makefile.opam
new file mode 100644
index 0000000000000000000000000000000000000000..75b2cea6d4f60aa1bbfa168ff88f20a490e59749
--- /dev/null
+++ b/ivette/makefile.opam
@@ -0,0 +1,39 @@
+##########################################################################
+#                                                                        #
+#  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
diff --git a/opam/opam b/opam/opam
index 6376937a2207fc2ec41fdff98856de2d0a40e9c5..3c1940c23af2541df5232fe337a737197cd4b73d 100644
--- a/opam/opam
+++ b/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: [