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