tools/ocaml: Introduce xenctrl ABI build-time checks
authorIan Jackson <ian.jackson@eu.citrix.com>
Mon, 9 Sep 2019 17:12:06 +0000 (18:12 +0100)
committerIan Jackson <ian.jackson@eu.citrix.com>
Tue, 10 Sep 2019 13:44:33 +0000 (14:44 +0100)
commit006a69d25cd475ab71b27960548a94c14c2eb085
tree34eda4f2c117c7ced89c412fc21fa7cb9b2cf053
parent7b7bab4bce5c69613f0b68f4dae0ef74a70134c3
tools/ocaml: Introduce xenctrl ABI build-time checks

c/s f089fddd941 broke the Ocaml ABI by renumering
XEN_SYSCTL_PHYSCAP_directio without adjusting the Ocaml
physinfo_cap_flag enumeration.

Add build machinery which will check the ABI correspondence.

This will result in a compile time failure whenever constants get
renumbered/added without a compatible adjustment to the Ocaml ABI.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Signed-off-by: Ian Jackson <ian.jackson@eu.citrix.com>
Acked-by: Christian Lindig <christian.lindig@citrix.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Andrew Cooper <Andrew.Cooper3@citrix.com>
.gitignore
tools/ocaml/libs/xc/Makefile
tools/ocaml/libs/xc/abi-check [new file with mode: 0755]
tools/ocaml/libs/xc/xenctrl_stubs.c
xen/include/public/sysctl.h