Merge branch 'fix/andre/python3-compliance-tests' into 'master'

[compliance] use python3 for tests (no extra dependency)

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

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 \

configure.in

@@ -405,7 +405,7 @@ else
   HAS_LANDMARKS="no"
 fi
 
-# Python 3 (for analysis-scripts)
+# Python 3 (for analysis-scripts, and for several tests: compliance, jcdb, ...)
 ########
 
 AC_MSG_CHECKING(for python3)
@@ -430,6 +430,8 @@ else
   esac
 fi
 
+plugin_use_external(tests,python3)
+
 ############
 # Platform #
 ############

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

tests/compliance/check-json.i

 /*run.config
   NOFRAMAC:
-  EXECNOW: python -m json.tool < share/compliance/c11_functions.json >/dev/null
-  EXECNOW: python -m json.tool < share/compliance/glibc_functions.json >/dev/null
-  EXECNOW: python -m json.tool < share/compliance/nonstandard_identifiers.json >/dev/null
-  EXECNOW: python -m json.tool < share/compliance/posix_identifiers.json >/dev/null
+  EXECNOW: python3 -m json.tool < share/compliance/c11_functions.json >/dev/null
+  EXECNOW: python3 -m json.tool < share/compliance/glibc_functions.json >/dev/null
+  EXECNOW: python3 -m json.tool < share/compliance/nonstandard_identifiers.json >/dev/null
+  EXECNOW: python3 -m json.tool < share/compliance/posix_identifiers.json >/dev/null
 */