Makefile.config_if_required

#**************************************************************************
#*                                                                        *
#*                                 OCaml                                  *
#*                                                                        *
#*            Gabriel Scherer, projet Parsifal, INRIA Saclay              *
#*                                                                        *
#*   Copyright 2020 Institut National de Recherche en Informatique et     *
#*     en Automatique.                                                    *
#*                                                                        *
#*   All rights reserved.  This file is distributed under the terms of    *
#*   the GNU Lesser General Public License version 2.1, with the          *
#*   special exception on linking described in the file LICENSE.          *
#*                                                                        *
#**************************************************************************

MAKECMDGOALS ?= defaultentry

CLEAN_TARGET_NAMES=clean partialclean distclean

# Some special targets ('*clean' and 'configure') do not require configuration.
# REQUIRES_CONFIGURATION is empty if only those targets are requested,
# and non-empty if configuration is required.
REQUIRES_CONFIGURATION := $(strip \
  $(filter-out $(CLEAN_TARGET_NAMES) configure, $(MAKECMDGOALS)))

ifneq "$(REQUIRES_CONFIGURATION)" ""
ifneq "$(origin BUILD_CONFIG_INCLUDED)" "override"
include $(ROOTDIR)/Makefile.build_config
endif
endif