diff --git a/Makefile b/Makefile
index 43c11ae3d2657d51b590cd0944d0d2d696344025..4df5cf329a46333da072ec0bcfb9db04d8e5ffe6 100644
--- a/Makefile
+++ b/Makefile
@@ -272,6 +272,10 @@ DISTRIB_FILES:=\
       share/analysis-scripts/template.mk                                \
       $(wildcard share/emacs/*.el) share/autocomplete_frama-c           \
       share/_frama-c                                                    \
+      share/compliance/c11_functions.json                               \
+      share/compliance/glibc_functions.json                             \
+      share/compliance/nonstandard_identifiers.json                     \
+      share/compliance/posix_identifiers.json                           \
       share/configure.ac                                                \
       share/Makefile.config.in share/Makefile.common                    \
       share/Makefile.generic						\
@@ -1944,6 +1948,12 @@ install:: install-lib
 	$(MKDIR) $(FRAMAC_DATADIR)/analysis-scripts/examples
 	$(CP) share/analysis-scripts/examples/* \
 	  $(FRAMAC_DATADIR)/analysis-scripts/examples
+	$(MKDIR) $(FRAMAC_DATADIR)/compliance
+	$(CP) share/compliance/c11_functions.json \
+	  share/compliance/glibc_functions.json \
+	  share/compliance/nonstandard_identifiers.json \
+	  share/compliance/posix_identifiers.json \
+	  $(FRAMAC_DATADIR)/compliance
 	$(MKDIR) $(FRAMAC_DATADIR)/emacs
 	$(CP) $(wildcard share/emacs/*.el) $(FRAMAC_DATADIR)/emacs
 	$(CP) share/frama-c.rc $(ICONS) $(FRAMAC_DATADIR)
diff --git a/headers/header_spec.txt b/headers/header_spec.txt
index 521c59e7b330755a939d281b7d4cb5c62941bf10..166fbddd62c2cbc23bcf5798fb293433cbd20083 100644
--- a/headers/header_spec.txt
+++ b/headers/header_spec.txt
@@ -136,6 +136,10 @@ share/analysis-scripts/README.md: .ignore
 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/glibc_functions.json: .ignore
+share/compliance/nonstandard_identifiers.json: .ignore
+share/compliance/posix_identifiers.json: .ignore
 share/autocomplete_frama-c: CEA_LGPL
 share/Makefile.clean: CEA_LGPL
 share/Makefile.common: CEA_LGPL