From 321e66e14485f43c1145ab2b99bba272838be8da Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Wed, 14 Apr 2021 16:07:12 +0200
Subject: [PATCH] [make] traps the makefile to include data from ivette

---
 Makefile                       | 4 ++++
 ivette/headers/header_spec.txt | 0
 2 files changed, 4 insertions(+)
 create mode 100644 ivette/headers/header_spec.txt

diff --git a/Makefile b/Makefile
index 768fbbbee1c..07c22e9be46 100644
--- a/Makefile
+++ b/Makefile
@@ -2039,6 +2039,7 @@ uninstall::
 HEADER_SPEC := $(DEFAULT_HEADER_SPEC)
 # The list can be extended by external plugins using PLUGIN_HEADER_SPEC variable
 HEADER_SPEC += $(PLUGIN_HEADER_SPEC_LIST)
+HEADER_SPEC += ivette/headers/header_spec.txt
 # Default list of header specification files can be overloaded.
 HEADER_SPEC_FILE?=$(HEADER_SPEC)
 
@@ -2046,6 +2047,7 @@ HEADER_SPEC_FILE?=$(HEADER_SPEC)
 HEADER_DIRS := $(DEFAULT_HEADER_DIRS)
 # The list can be extended by external plugins using PLUGIN_HEADER_DIRS variable
 HEADER_DIRS += $(PLUGIN_HEADER_DIRS_LIST)
+HEADER_DIRS += ivette/headers
 # Takes into account the kind of distribution (open-souce/close-source)
 DISTRIB_HEADER_DIRS?=$(addsuffix /$(DISTRIB_HEADERS),$(HEADER_DIRS))
 
@@ -2385,6 +2387,8 @@ DISTRIB_FILES += $(wildcard $(PLUGIN_DISTRIBUTED_LIST)                   \
 DISTRIB_FILES:=$(filter-out $(GENERATED) $(PLUGIN_GENERATED_LIST),\
                   $(DISTRIB_FILES))
 
+sinclude ivette/.Makefile.distrib
+
 DISTRIB_TESTS += $(wildcard $(PLUGIN_DIST_TESTS_LIST))
 
 
diff --git a/ivette/headers/header_spec.txt b/ivette/headers/header_spec.txt
new file mode 100644
index 00000000000..e69de29bb2d
-- 
GitLab