From bc740bcbf22c9b4cf3b9c226ef3b7d7684fa4d16 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 12 Apr 2017 20:08:44 +0200
Subject: [PATCH] [Makefile] Use CEA_LGPL from main directory when in internal
mode
---
src/plugins/e-acsl/Makefile.in | 8 +++++++-
1 file changed, 7 insertions(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index e0ed34ceb0f..f0020b6c32b 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -298,10 +298,16 @@ e-acsl-distrib-check:
# Header #
##########
+ifeq ("$(FRAMAC_INTERNAL)","yes")
+CEA_LGPL_HEADER=$(FRAMAC_ROOT_SRCDIR)/headers/open-source/CEA_LGPL
+else
+CEA_LGPL_HEADER=$(EACSL_PLUGIN_DIR)/license/CEA_LGPL
+endif
+
headers::
@echo "Applying Headers..."
headache -c $(EACSL_PLUGIN_DIR)/license/headache_config.txt \
- -h $(EACSL_PLUGIN_DIR)/license/CEA_LGPL \
+ -h $(CEA_LGPL_HEADER) \
$(EACSL_PLUGIN_DIR)/*.ml \
$(EACSL_PLUGIN_DIR)/*.mli \
$(EACSL_PLUGIN_DIR)/Makefile.in \
--
GitLab