1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00

makefiles/tools/renode: control renode via Makefile only

This commit is contained in:
Alexandre Abadie 2020-11-20 22:02:32 +01:00
parent 7237e38436
commit 3cca8f4ee2
No known key found for this signature in database
GPG Key ID: 1C919A403CAE1405

View File

@ -1,2 +1,11 @@
EMULATOR ?= $(RIOTTOOLS)/renode/run-renode.sh
EMULATOR_FLAGS ?= start
RENODE ?= renode
RENODE_IMAGE_FILE ?= $(ELFFILE)
RENODE_BOARD_CONFIG ?= $(BOARDDIR)/dist/board.resc
# Use renode interactive commands to specify the image file and board config
RENODE_FLAGS += -e "set image_file '$(RENODE_IMAGE_FILE)'"
RENODE_FLAGS += -e "include @$(RENODE_BOARD_CONFIG)"
# Set emulator variables
EMULATOR_FLAGS ?= $(RENODE_FLAGS)
EMULATOR ?= $(RENODE)