2019-07-12 18:26:49 +02:00
|
|
|
# Define tools to use
|
2020-04-21 20:21:04 +02:00
|
|
|
MENUCONFIG ?= $(RIOTTOOLS)/kconfiglib/riot_menuconfig.py
|
|
|
|
BASE_MENUCONFIG ?= $(RIOTTOOLS)/kconfiglib/menuconfig.py
|
2020-08-07 09:27:29 +02:00
|
|
|
GENCONFIG := $(RIOTTOOLS)/kconfiglib/genconfig.py
|
2019-07-12 18:26:49 +02:00
|
|
|
|
2020-04-21 20:21:04 +02:00
|
|
|
$(BASE_MENUCONFIG):
|
2019-07-12 18:26:49 +02:00
|
|
|
@echo "[INFO] Kconfiglib not found - getting it"
|
2020-07-03 11:17:57 +02:00
|
|
|
@$(MAKE) -C $(RIOTTOOLS)/kconfiglib
|
2019-07-12 18:26:49 +02:00
|
|
|
@echo "[INFO] Kconfiglib downloaded"
|
|
|
|
|
2020-04-21 20:21:04 +02:00
|
|
|
$(GENCONFIG): $(BASE_MENUCONFIG)
|