···1919# OCaml's build system and so itself includes Makefile.config. It assumes that
2020# $(ROOTDIR) has been defined.
21212222+# This variable is added to prevent double-inclusion of this Makefile by
2323+# Makefile.config_if_required. override is used as this has highest $(origin )
2424+# priority (including over make BUILD_CONFIG_INCLUDED)
2525+override BUILD_CONFIG_INCLUDED =
2626+2227include $(ROOTDIR)/Makefile.config
2328INSTALL ?= @INSTALL@ -p
2429INSTALL_DATA ?= @INSTALL_DATA@