Fail if $(OCAML_ABI) is incorrect

diff --git a/debian/rules b/debian/rules
index 0efc2cd0e762682fc5b00f40c6e5633556770a76..a450c8eec859bd1944419b7b16508ceeba37b546 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
@@ -235,6 +235,11 @@ endif
         --runtime-map ocaml-nox:ocaml-base-nox,ocaml:ocaml-base,camlp4 \
         --checksum $(OCAML_ABI)
        dh_gencontrol
+       # Check that OCAML_ABI is correct
+       if [ "$(OCAML_ABI)" != "$(shell boot/ocamlrun ocamlc -version)" ]; then \
+         echo "Please adjust OCAML_ABI in debian/rules"; \
+         exit 2; \
+       fi
        dh binary --after dh_gencontrol
        touch $@