From 04f1ed02745a777fdff7fc764b87d5243bfb1224 Mon Sep 17 00:00:00 2001
From: Alexandre Abadie <alexandre.abadie@inria.fr>
Date: Tue, 12 Oct 2021 10:39:57 +0200
Subject: [PATCH] make: add info-emulated-boards helper target

---
 makefiles/boards.inc.mk | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/makefiles/boards.inc.mk b/makefiles/boards.inc.mk
index 88992a5f8a..fbbd62d9ec 100644
--- a/makefiles/boards.inc.mk
+++ b/makefiles/boards.inc.mk
@@ -16,6 +16,16 @@ ALLBOARDS := $(sort \
 # Set the default value from `BOARDS`
 BOARDS ?= $(ALLBOARDS)
 
-.PHONY: info-boards
+.PHONY: info-boards info-emulated-boards
 info-boards:
 	@echo $(BOARDS)
+
+EMULATED_BOARDS_RENODE := $(wildcard $(BOARDSDIRS)/*/dist/board.resc)
+EMULATED_BOARDS_QEMU := microbit
+EMULATED_BOARDS := \
+  $(EMULATED_BOARDS_QEMU) \
+  $(foreach board_path,$(EMULATED_BOARDS_RENODE),$(subst $(strip $(BOARDSDIRS)/),,$(subst /dist/board.resc,,$(board_path))))
+  #
+
+info-emulated-boards:
+	@echo $(sort $(EMULATED_BOARDS))