mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
Makefile.include: require make version 4.
Old versions of GNU Make (especially on OSX) are a pain to deal with. This commit introduces a warning when such an old version is found. The goal is the future the warning will be turned into an error. 2020.01 is set as the date we remove support. Complying with version 4.x is easy on OSX by using homebrew, and on Linux, even Debian stable has the required version.
This commit is contained in:
parent
f38d9d14c6
commit
9289fee618
@ -1,3 +1,12 @@
|
||||
MATCH_MAKE_VERSION = 4.%
|
||||
|
||||
ifeq (,$(filter $(MATCH_MAKE_VERSION),$(MAKE_VERSION)))
|
||||
$(warning GNU Make $(MAKE_VERSION) is DEPRECATED in RIOT. Support for \
|
||||
versions less than $(MATCH_MAKE_VERSION) will be removed in \
|
||||
release 2020.01. Please upgrade your system to use GNU Make \
|
||||
$(MATCH_MAKE_VERSION) or later.)
|
||||
endif
|
||||
|
||||
# 'Makefile.include' directory, must be evaluated before other 'include'
|
||||
_riotbase := $(dir $(lastword $(MAKEFILE_LIST)))
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user