From 679db71832f3ea1ea1e6df2023b1f73109af9af5 Mon Sep 17 00:00:00 2001 From: Allan Blanchard <allan.blanchard@cea.fr> Date: Mon, 16 Sep 2024 11:02:52 +0200 Subject: [PATCH] [wp] remove useless file --- src/plugins/wp/dune | 4 +- src/plugins/wp/share/Makefile.resources | 60 ------------------------- 2 files changed, 1 insertion(+), 63 deletions(-) delete mode 100644 src/plugins/wp/share/Makefile.resources diff --git a/src/plugins/wp/dune b/src/plugins/wp/dune index ac7f429e82b..b46cbeb373e 100644 --- a/src/plugins/wp/dune +++ b/src/plugins/wp/dune @@ -55,7 +55,5 @@ (install (package frama-c-wp) (section (site (frama-c share))) - (files - (share/Makefile.resources as wp/Makefile.resources) - (share/wp.driver as wp/wp.driver)) + (files (share/wp.driver as wp/wp.driver)) (source_trees (share/why3 as wp/why3))) diff --git a/src/plugins/wp/share/Makefile.resources b/src/plugins/wp/share/Makefile.resources deleted file mode 100644 index 57e5a3c260f..00000000000 --- a/src/plugins/wp/share/Makefile.resources +++ /dev/null @@ -1,60 +0,0 @@ -########################################################################## -# # -# This file is part of WP plug-in of Frama-C. # -# # -# Copyright (C) 2007-2024 # -# CEA (Commissariat a l'energie atomique et aux energies # -# 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). # -# # -########################################################################## - -# -------------------------------------------------------------------------- -# --- Why-3 Libraries -# -------------------------------------------------------------------------- - -## Used in share/why3 - -WHY3_LIBS_CEA:= \ - cbits.mlw \ - cint.mlw \ - cfloat.mlw \ - cmath.mlw \ - memory.mlw \ - qed.mlw \ - vset.mlw \ - vlist.mlw - -## Used in share/why3 -WHY3_API_LIBS_CEA:= WHY3_LIBS_CEA - -# -------------------------------------------------------------------------- -# --- LICENSES -# -------------------------------------------------------------------------- - -# Resource classes for license header files -# These files are relatives to this directory -WP_SHARE_SRC_CEA_RESOURCES:= \ - wp.driver \ - why3/coq.drv \ - $(addprefix why3/frama_c_wp/, $(WHY3_LIBS_CEA)) - -ALL_CEA_RESOURCES+= \ - Makefile.resources \ - $(WP_SHARE_SRC_CEA_RESOURCES) - -########################################################################## -# Local Variables: -# mode: makefile -# End: -- GitLab