From 4cb372522f34c98ec3aa562a35d6124056d1d9f5 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 12 May 2023 10:44:19 +0200
Subject: [PATCH] [alias] use Frama-C headers
---
src/plugins/alias/.gitattributes | 54 -------------------
src/plugins/alias/API.ml | 6 +--
src/plugins/alias/API.mli | 6 +--
src/plugins/alias/Alias.ml | 6 +--
src/plugins/alias/Alias.mli | 6 +--
src/plugins/alias/LICENSE.Alias | 19 -------
src/plugins/alias/abstract_state.ml | 6 +--
src/plugins/alias/abstract_state.mli | 6 +--
src/plugins/alias/analysis.ml | 6 +--
src/plugins/alias/analysis.mli | 6 +--
src/plugins/alias/dune | 6 +--
src/plugins/alias/dune-project | 6 +--
.../alias/headers/Makefile.generate-headers | 48 -----------------
.../alias/headers/close-source/LICENSE.Alias | 10 ----
.../headers/close-source/LICENSE.template | 10 ----
.../alias/headers/open-source/LICENSE.Alias | 19 -------
.../headers/open-source/LICENSE.template | 19 -------
src/plugins/alias/options.ml | 6 +--
src/plugins/alias/options.mli | 6 +--
src/plugins/alias/simplified.ml | 6 +--
src/plugins/alias/simplified.mli | 6 +--
21 files changed, 42 insertions(+), 221 deletions(-)
delete mode 100644 src/plugins/alias/.gitattributes
delete mode 100644 src/plugins/alias/LICENSE.Alias
delete mode 100644 src/plugins/alias/headers/Makefile.generate-headers
delete mode 100644 src/plugins/alias/headers/close-source/LICENSE.Alias
delete mode 100755 src/plugins/alias/headers/close-source/LICENSE.template
delete mode 100644 src/plugins/alias/headers/open-source/LICENSE.Alias
delete mode 100644 src/plugins/alias/headers/open-source/LICENSE.template
diff --git a/src/plugins/alias/.gitattributes b/src/plugins/alias/.gitattributes
deleted file mode 100644
index b2e0207ec33..00000000000
--- a/src/plugins/alias/.gitattributes
+++ /dev/null
@@ -1,54 +0,0 @@
-################
-# MERGE: union #
-################
-
-Changelog merge=union
-
-################################
-# HEADER_SPEC: LICENSE.Alias #
-################################
-
-dune-project header_spec=LICENSE.Alias
-dune header_spec=LICENSE.Alias
-dune-workspace header_spec=LICENSE.Alias
-
-Make* header_spec=LICENSE.Alias
-
-*.ml header_spec=LICENSE.Alias
-*.mli header_spec=LICENSE.Alias
-
-########################
-# HEADER_SPEC: .ignore #
-########################
-
-# CI
-
-/.gitlab-ci.yml header_spec=.ignore
-/nix/ci.sh header_spec=.ignore
-/nix/*.nix header_spec=.ignore
-
-# Doc
-
-/Changelog header_spec=.ignore
-README* header_spec=.ignore
-
-# Git
-
-.gitattributes header_spec=.ignore
-.gitignore header_spec=.ignore
-.gitkeep header_spec=.ignore
-.git-blame-ignore-revs header_spec=.ignore
-
-# Headers
-
-/LICENSE.Alias header_spec=.ignore
-/headers/open-source/* header_spec=.ignore
-/headers/close-source/* header_spec=.ignore
-
-# OCaml
-
-/*.opam* header_spec=.ignore
-
-#Tests
-
-/tests/**/* header_spec=.ignore
diff --git a/src/plugins/alias/API.ml b/src/plugins/alias/API.ml
index 2b77720334f..5835322fd10 100644
--- a/src/plugins/alias/API.ml
+++ b/src/plugins/alias/API.ml
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C plug-in 'Alias' (alias). *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2022-2023 *)
+(* Copyright (C) 2007-2023 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -16,7 +16,7 @@
(* 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 LICENSE) *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/alias/API.mli b/src/plugins/alias/API.mli
index ca429be02ec..12352199c29 100644
--- a/src/plugins/alias/API.mli
+++ b/src/plugins/alias/API.mli
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C plug-in 'Alias' (alias). *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2022-2023 *)
+(* Copyright (C) 2007-2023 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -16,7 +16,7 @@
(* 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 LICENSE) *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/alias/Alias.ml b/src/plugins/alias/Alias.ml
index 0d38459c28a..fe144bb2b96 100644
--- a/src/plugins/alias/Alias.ml
+++ b/src/plugins/alias/Alias.ml
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C plug-in 'Alias' (alias). *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2022-2023 *)
+(* Copyright (C) 2007-2023 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -16,7 +16,7 @@
(* 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 LICENSE) *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/alias/Alias.mli b/src/plugins/alias/Alias.mli
index 96a5e0094ac..32413b01810 100644
--- a/src/plugins/alias/Alias.mli
+++ b/src/plugins/alias/Alias.mli
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C plug-in 'Alias' (alias). *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2022-2023 *)
+(* Copyright (C) 2007-2023 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -16,7 +16,7 @@
(* 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 LICENSE) *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/alias/LICENSE.Alias b/src/plugins/alias/LICENSE.Alias
deleted file mode 100644
index 57a2745d01d..00000000000
--- a/src/plugins/alias/LICENSE.Alias
+++ /dev/null
@@ -1,19 +0,0 @@
-
-This file is part of the Frama-C plug-in 'Alias' (alias).
-
-Copyright (C) 2022-2023
- 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 LICENSE)
-
diff --git a/src/plugins/alias/abstract_state.ml b/src/plugins/alias/abstract_state.ml
index 081e221dac1..98e30f62157 100644
--- a/src/plugins/alias/abstract_state.ml
+++ b/src/plugins/alias/abstract_state.ml
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C plug-in 'Alias' (alias). *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2022-2023 *)
+(* Copyright (C) 2007-2023 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -16,7 +16,7 @@
(* 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 LICENSE) *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/alias/abstract_state.mli b/src/plugins/alias/abstract_state.mli
index 1faf7e9cf19..a3a843f8172 100644
--- a/src/plugins/alias/abstract_state.mli
+++ b/src/plugins/alias/abstract_state.mli
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C plug-in 'Alias' (alias). *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2022-2023 *)
+(* Copyright (C) 2007-2023 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -16,7 +16,7 @@
(* 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 LICENSE) *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/alias/analysis.ml b/src/plugins/alias/analysis.ml
index 8583500ff43..b966e32c2e8 100644
--- a/src/plugins/alias/analysis.ml
+++ b/src/plugins/alias/analysis.ml
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C plug-in 'Alias' (alias). *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2022-2023 *)
+(* Copyright (C) 2007-2023 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -16,7 +16,7 @@
(* 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 LICENSE) *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/alias/analysis.mli b/src/plugins/alias/analysis.mli
index e68e807f4c5..f1bb2652e88 100644
--- a/src/plugins/alias/analysis.mli
+++ b/src/plugins/alias/analysis.mli
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C plug-in 'Alias' (alias). *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2022-2023 *)
+(* Copyright (C) 2007-2023 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -16,7 +16,7 @@
(* 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 LICENSE) *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/alias/dune b/src/plugins/alias/dune
index 872016edccb..63d49ab5cc9 100644
--- a/src/plugins/alias/dune
+++ b/src/plugins/alias/dune
@@ -1,8 +1,8 @@
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
-;; This file is part of the Frama-C plug-in 'Alias' (alias). ;;
+;; This file is part of Frama-C. ;;
;; ;;
-;; Copyright (C) 2022-2023 ;;
+;; Copyright (C) 2007-2023 ;;
;; CEA (Commissariat à l'énergie atomique et aux énergies ;;
;; alternatives) ;;
;; ;;
@@ -16,7 +16,7 @@
;; 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 LICENSE) ;;
+;; for more details (enclosed in the file licenses/LGPLv2.1). ;;
;; ;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
diff --git a/src/plugins/alias/dune-project b/src/plugins/alias/dune-project
index d430593c6ec..c934d313d77 100644
--- a/src/plugins/alias/dune-project
+++ b/src/plugins/alias/dune-project
@@ -1,9 +1,9 @@
(lang dune 3.2)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
-;; This file is part of the Frama-C plug-in 'Alias' (alias). ;;
+;; This file is part of Frama-C. ;;
;; ;;
-;; Copyright (C) 2022-2023 ;;
+;; Copyright (C) 2007-2023 ;;
;; CEA (Commissariat à l'énergie atomique et aux énergies ;;
;; alternatives) ;;
;; ;;
@@ -17,7 +17,7 @@
;; 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 LICENSE) ;;
+;; for more details (enclosed in the file licenses/LGPLv2.1). ;;
;; ;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
diff --git a/src/plugins/alias/headers/Makefile.generate-headers b/src/plugins/alias/headers/Makefile.generate-headers
deleted file mode 100644
index 54abb31b1f5..00000000000
--- a/src/plugins/alias/headers/Makefile.generate-headers
+++ /dev/null
@@ -1,48 +0,0 @@
-##########################################################################
-# #
-# This file is part of the Frama-C plug-in 'Alias' (alias). #
-# #
-# Copyright (C) 2022-2023 #
-# 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 LICENSE) #
-# #
-##########################################################################
-
-YEAR:=$(shell date +%Y)
-
-ifeq (${HEADER_OPEN_SOURCE},yes)
-DEFAULT_HEADER_DIR:=headers/open-source
-else
-DEFAULT_HEADER_DIR:=headers/close-source
-endif
-
-headers/%/LICENSE.${PLUGIN_NAME}: headers/%/LICENSE.template FORCE_LICENSES
- @sed -e "s/@SHORT_NAME@/${SHORT_NAME}/" \
- -e "s/@LONG_NAME@/${LONG_NAME}/" \
- -e "s/@FROM_YEAR@/${FROM_YEAR}/" \
- -e "s/@YEAR@/${YEAR}/" \
- $< > $@
-
-LICENSE.${PLUGIN_NAME}: ${DEFAULT_HEADER_DIR}/LICENSE.${PLUGIN_NAME} FORCE_LICENSES
- cp $< $@
-
-.PHONY: FORCE_LICENSES
-FORCE_LICENSES:
-
-# Extend headers rule dependencies, make sure to update all license files
-headers: \
- headers/open-source/LICENSE.${PLUGIN_NAME} \
- headers/close-source/LICENSE.${PLUGIN_NAME} \
- LICENSE.${PLUGIN_NAME}
diff --git a/src/plugins/alias/headers/close-source/LICENSE.Alias b/src/plugins/alias/headers/close-source/LICENSE.Alias
deleted file mode 100644
index c95856054e3..00000000000
--- a/src/plugins/alias/headers/close-source/LICENSE.Alias
+++ /dev/null
@@ -1,10 +0,0 @@
-
-This file is part of the Frama-C plug-in 'Alias' (alias).
-
-Copyright (C) 2022-2023
- CEA (Commissariat à l'énergie atomique et aux énergies
- alternatives)
-
-All rights reserved.
-Contact CEA LIST for licensing.
-
diff --git a/src/plugins/alias/headers/close-source/LICENSE.template b/src/plugins/alias/headers/close-source/LICENSE.template
deleted file mode 100755
index 674cd9bba33..00000000000
--- a/src/plugins/alias/headers/close-source/LICENSE.template
+++ /dev/null
@@ -1,10 +0,0 @@
-
-This file is part of the Frama-C plug-in '@LONG_NAME@' (@SHORT_NAME@).
-
-Copyright (C) @FROM_YEAR@-@YEAR@
- CEA (Commissariat à l'énergie atomique et aux énergies
- alternatives)
-
-All rights reserved.
-Contact CEA LIST for licensing.
-
diff --git a/src/plugins/alias/headers/open-source/LICENSE.Alias b/src/plugins/alias/headers/open-source/LICENSE.Alias
deleted file mode 100644
index 57a2745d01d..00000000000
--- a/src/plugins/alias/headers/open-source/LICENSE.Alias
+++ /dev/null
@@ -1,19 +0,0 @@
-
-This file is part of the Frama-C plug-in 'Alias' (alias).
-
-Copyright (C) 2022-2023
- 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 LICENSE)
-
diff --git a/src/plugins/alias/headers/open-source/LICENSE.template b/src/plugins/alias/headers/open-source/LICENSE.template
deleted file mode 100644
index 80fe4ef40c5..00000000000
--- a/src/plugins/alias/headers/open-source/LICENSE.template
+++ /dev/null
@@ -1,19 +0,0 @@
-
-This file is part of the Frama-C plug-in '@LONG_NAME@' (@SHORT_NAME@).
-
-Copyright (C) @FROM_YEAR@-@YEAR@
- 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 LICENSE)
-
diff --git a/src/plugins/alias/options.ml b/src/plugins/alias/options.ml
index 2f70a980efb..2e2eae57482 100644
--- a/src/plugins/alias/options.ml
+++ b/src/plugins/alias/options.ml
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C plug-in 'Alias' (alias). *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2022-2023 *)
+(* Copyright (C) 2007-2023 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -16,7 +16,7 @@
(* 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 LICENSE) *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/alias/options.mli b/src/plugins/alias/options.mli
index 1a5dd44638c..bfe5800b537 100644
--- a/src/plugins/alias/options.mli
+++ b/src/plugins/alias/options.mli
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C plug-in 'Alias' (alias). *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2022-2023 *)
+(* Copyright (C) 2007-2023 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -16,7 +16,7 @@
(* 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 LICENSE) *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/alias/simplified.ml b/src/plugins/alias/simplified.ml
index 3a639dee7bd..a396f4bd21b 100644
--- a/src/plugins/alias/simplified.ml
+++ b/src/plugins/alias/simplified.ml
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C plug-in 'Alias' (alias). *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2022-2023 *)
+(* Copyright (C) 2007-2023 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -16,7 +16,7 @@
(* 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 LICENSE) *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/alias/simplified.mli b/src/plugins/alias/simplified.mli
index 3757c46d4f2..499038fdebf 100644
--- a/src/plugins/alias/simplified.mli
+++ b/src/plugins/alias/simplified.mli
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C plug-in 'Alias' (alias). *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2022-2023 *)
+(* Copyright (C) 2007-2023 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -16,7 +16,7 @@
(* 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 LICENSE) *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
--
GitLab