1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-24 22:13:52 +01:00

makefiles/kconfiglib: Use RIOT specific menuconfig script

This commit is contained in:
Leandro Lanzieri 2020-04-21 20:21:04 +02:00
parent 8023aa3d47
commit ed38bd86d4
No known key found for this signature in database
GPG Key ID: 39607DE6080007A3

View File

@ -1,13 +1,14 @@
# Define tools to use
MENUCONFIG ?= $(RIOTTOOLS)/kconfiglib/menuconfig.py
MENUCONFIG ?= $(RIOTTOOLS)/kconfiglib/riot_menuconfig.py
BASE_MENUCONFIG ?= $(RIOTTOOLS)/kconfiglib/menuconfig.py
GENCONFIG ?= $(RIOTTOOLS)/kconfiglib/genconfig.py
MERGECONFIG ?= $(RIOTTOOLS)/kconfiglib/merge_config.py
$(MENUCONFIG):
$(BASE_MENUCONFIG):
@echo "[INFO] Kconfiglib not found - getting it"
@make -C $(RIOTTOOLS)/kconfiglib
@echo "[INFO] Kconfiglib downloaded"
$(GENCONFIG): $(MENUCONFIG)
$(GENCONFIG): $(BASE_MENUCONFIG)
$(MERGECONFIG): $(MENUCONFIG)
$(MERGECONFIG): $(BASE_MENUCONFIG)