From 37f870fcce9e875dea72cadb223226b81d8b855b 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:31:15 +0200
Subject: [PATCH] [ivette] makefile.install was git-ignored
---
ivette/makefile.opam | 39 +++++++++++++++++++++++++++++++++++++++
opam/opam | 4 ++--
2 files changed, 41 insertions(+), 2 deletions(-)
create mode 100644 ivette/makefile.opam
diff --git a/ivette/makefile.opam b/ivette/makefile.opam
new file mode 100644
index 00000000000..75b2cea6d4f
--- /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 6376937a220..3c1940c23af 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: [
--
GitLab