From cdd19cd52073ed037f38ede442a5c9300aabe146 Mon Sep 17 00:00:00 2001 From: Thomas Debesse Date: Fri, 5 Jul 2019 03:45:26 +0200 Subject: [PATCH] makefile: deprecate the legacy Makefile requires make to be called this way: make I_KNOW_MAKEFILE_IS_DEPRECATED=1 --- Makefile | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/Makefile b/Makefile index 7e292245..5a9252ea 100644 --- a/Makefile +++ b/Makefile @@ -1,3 +1,10 @@ +ifeq ($(I_KNOW_MAKEFILE_IS_DEPRECATED),) + $(shell printf 'ERROR: Makefile build is deprecated, use CMake instead, see README.md\n\n' >&2) + $(error I_KNOW_MAKEFILE_IS_DEPRECATED is not set) +else + $(shell printf 'WARNING: deprecated Makefile build enforced\n\n' >&2) +endif + MAKEFILE_CONF ?= Makefile.conf -include $(MAKEFILE_CONF) -- 2.39.2