diff options
Diffstat (limited to 'core')
| -rw-r--r-- | core/core.mk | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/core/core.mk b/core/core.mk index 278e20f..89cfa25 100644 --- a/core/core.mk +++ b/core/core.mk @@ -29,6 +29,9 @@ ifeq ($(MAKE_VERSION),3.82) $(warning Please upgrade to GNU Make 4 or later: https://erlang.mk/guide/installation.html) endif +# Ignored plugins +ERLANG_MK_WITHOUT = "" + # Core configuration. PROJECT ?= $(notdir $(CURDIR)) @@ -184,13 +187,16 @@ ERLANG_MK_COMMIT ?= ERLANG_MK_BUILD_CONFIG ?= build.config ERLANG_MK_BUILD_DIR ?= .erlang.mk.build +WITHOUT ?= $(ERLANG_MK_WITHOUT) +WITHOUT := $(strip $(WITHOUT)) + erlang-mk: git clone $(ERLANG_MK_REPO) $(ERLANG_MK_BUILD_DIR) ifdef ERLANG_MK_COMMIT cd $(ERLANG_MK_BUILD_DIR) && git checkout $(ERLANG_MK_COMMIT) endif if [ -f $(ERLANG_MK_BUILD_CONFIG) ]; then cp $(ERLANG_MK_BUILD_CONFIG) $(ERLANG_MK_BUILD_DIR)/build.config; fi - $(MAKE) -C $(ERLANG_MK_BUILD_DIR) + $(MAKE) -C $(ERLANG_MK_BUILD_DIR) WITHOUT='$(WITHOUT)' cp $(ERLANG_MK_BUILD_DIR)/erlang.mk ./erlang.mk rm -rf $(ERLANG_MK_BUILD_DIR) |