From 910d948bbce302413a40b951c94eaf9d3db8c3b9 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Thu, 7 Jan 2021 09:04:44 +0100
Subject: [PATCH] [compliance] add c11_headers.json to distributed files
---
Makefile | 2 ++
headers/header_spec.txt | 1 +
2 files changed, 3 insertions(+)
diff --git a/Makefile b/Makefile
index 59b655ca70b..0f4ac62279f 100644
--- a/Makefile
+++ b/Makefile
@@ -280,6 +280,7 @@ DISTRIB_FILES:=\
$(wildcard share/emacs/*.el) share/autocomplete_frama-c \
share/_frama-c \
share/compliance/c11_functions.json \
+ share/compliance/c11_headers.json \
share/compliance/glibc_functions.json \
share/compliance/nonstandard_identifiers.json \
share/compliance/posix_identifiers.json \
@@ -1945,6 +1946,7 @@ install:: install-lib-$(OCAMLBEST)
$(FRAMAC_DATADIR)/analysis-scripts
$(MKDIR) $(FRAMAC_DATADIR)/compliance
$(CP) share/compliance/c11_functions.json \
+ share/compliance/c11_headers.json \
share/compliance/glibc_functions.json \
share/compliance/nonstandard_identifiers.json \
share/compliance/posix_identifiers.json \
diff --git a/headers/header_spec.txt b/headers/header_spec.txt
index b4c1ddf551e..d1b383e76b2 100644
--- a/headers/header_spec.txt
+++ b/headers/header_spec.txt
@@ -136,6 +136,7 @@ share/analysis-scripts/results_display.py: .ignore
share/analysis-scripts/summary.py: .ignore
share/analysis-scripts/template.mk: .ignore
share/compliance/c11_functions.json: .ignore
+share/compliance/c11_headers.json: .ignore
share/compliance/glibc_functions.json: .ignore
share/compliance/nonstandard_identifiers.json: .ignore
share/compliance/posix_identifiers.json: .ignore
--
GitLab