From 41aff85f05ee12d5af5e5426b47abd2d51f04d39 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 23 May 2017 16:26:12 +0200
Subject: [PATCH] Make header generation compliant with hdrck
allows `make check-header` to succeed when E-ACSL is compiled in internal mode
---
src/plugins/e-acsl/Makefile.in | 28 +++++++++++++++++++---------
1 file changed, 19 insertions(+), 9 deletions(-)
diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index efb479fcfd6..30b886b70ca 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -321,8 +321,24 @@ e-acsl-distrib-check:
# Header #
##########
+EACSL_CEA_LGPL_BARE= *.ml *.mli Makefile.in configure.ac share/e-acsl/*.[ch] \
+ share/e-acsl/*/*.[ch] scripts/*.sh
+EACSL_CEA_LGPL=$(addprefix $(EACSL_PLUGIN_DIR)/, $(EACSL_CEA_LGPL_BARE))
+
+EACSL_SPARETIMELABS=$(EACSL_PLUGIN_DIR)/share/e-acsl/e_acsl_printf.h
+
+# Files without header. contrib files keep their own header.
+EACSL_NOHEADER_BARE=INSTALL README VERSION license/* \
+ doc/Changelog doc/doxygen/doxygen.cfg.in .depend tests/test_config.in \
+ $(EACSL_CONTRIB_FILES)
+
+EACSL_NOHEADER=$(addprefix $(EACSL_PLUGIN_DIR)/, $(EACSL_NOHEADER_BARE))
+
ifeq ("$(FRAMAC_INTERNAL)","yes")
CEA_LGPL_HEADER=$(FRAMAC_ROOT_SRCDIR)/headers/open-source/CEA_LGPL
+# EACSL does not use hdrck mechanism
+HEADER_EXCEPTIONS+=\
+ $(wildcard $(EACSL_CEA_LGPL) $(EACSL_SPARETIMELABS) $(EACSL_NOHEADER))
else
CEA_LGPL_HEADER=$(EACSL_PLUGIN_DIR)/license/CEA_LGPL
endif
@@ -330,17 +346,11 @@ endif
headers::
@echo "Applying Headers..."
headache -c $(EACSL_PLUGIN_DIR)/license/headache_config.txt \
- -h $(CEA_LGPL_HEADER) \
- $(EACSL_PLUGIN_DIR)/*.ml \
- $(EACSL_PLUGIN_DIR)/*.mli \
- $(EACSL_PLUGIN_DIR)/Makefile.in \
- $(EACSL_PLUGIN_DIR)/configure.ac \
- $(EACSL_PLUGIN_DIR)/share/e-acsl/*.[ch] \
- $(EACSL_PLUGIN_DIR)/share/e-acsl/*/*.[ch] \
- $(EACSL_PLUGIN_DIR)/scripts/*.sh
+ -h $(CEA_LGPL_HEADER) $(EACSL_CEA_LGPL)
headache -c $(EACSL_PLUGIN_DIR)/license/headache_config.txt \
-h $(EACSL_PLUGIN_DIR)/license/SPARETIMELABS \
- $(EACSL_PLUGIN_DIR)/share/e-acsl/e_acsl_printf.h
+ $(EACSL_SPARETIMELABS)
+
################
# Generic part #
--
GitLab