Skip to content
Snippets Groups Projects
Commit bc740bcb authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[Makefile] Use CEA_LGPL from main directory when in internal mode

parent 76fe9b59
No related branches found
No related tags found
No related merge requests found
...@@ -298,10 +298,16 @@ e-acsl-distrib-check: ...@@ -298,10 +298,16 @@ e-acsl-distrib-check:
# Header # # 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:: headers::
@echo "Applying Headers..." @echo "Applying Headers..."
headache -c $(EACSL_PLUGIN_DIR)/license/headache_config.txt \ 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)/*.ml \
$(EACSL_PLUGIN_DIR)/*.mli \ $(EACSL_PLUGIN_DIR)/*.mli \
$(EACSL_PLUGIN_DIR)/Makefile.in \ $(EACSL_PLUGIN_DIR)/Makefile.in \
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment