Merge branch 'feature/tools/strict-headers' into 'master'

Strict headers

See merge request frama-c/frama-c!3873

share/Makefile.headers

@@ -30,9 +30,9 @@
 # Must be unset (for external plugins) and set (for FRAMA-C kernel)
 FRAMAC_HDRCK?=
 
-# Can be set to yes
+# Can be set to no
 # - yes: adds "-exit-on-warning" option to "frama-c-hdrck"
-HEADER_STRICT?=
+HEADER_STRICT?=yes
 
 # Defines where to find the header directories
 HEADER_DIRS?=headers $(wildcard src/plugins/*/headers)

src/plugins/eva/.gitattributes

@@ -2,5 +2,6 @@
 # HEADER_SPEC: .ignore #
 ########################
 
+/Eva.header header_spec=.ignore
 /Changelog_non_free header_spec=.ignore
 /legacy/TOREMOVE header_spec=.ignore