mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
15 lines
454 B
Makefile
15 lines
454 B
Makefile
# Define tools to use
|
|
MENUCONFIG ?= $(RIOTTOOLS)/kconfiglib/riot_menuconfig.py
|
|
BASE_MENUCONFIG ?= $(RIOTTOOLS)/kconfiglib/menuconfig.py
|
|
GENCONFIG ?= $(RIOTTOOLS)/kconfiglib/genconfig.py
|
|
MERGECONFIG ?= $(RIOTTOOLS)/kconfiglib/merge_config.py
|
|
|
|
$(BASE_MENUCONFIG):
|
|
@echo "[INFO] Kconfiglib not found - getting it"
|
|
@make -C $(RIOTTOOLS)/kconfiglib
|
|
@echo "[INFO] Kconfiglib downloaded"
|
|
|
|
$(GENCONFIG): $(BASE_MENUCONFIG)
|
|
|
|
$(MERGECONFIG): $(BASE_MENUCONFIG)
|