From c772076663dd200b44faf68a036b4b3214bb96e7 Mon Sep 17 00:00:00 2001
From: Samuel Hym <samuel@tarides.com>
Date: Wed, 25 Sep 2024 12:45:39 +0200
Subject: [PATCH] Add a trampoline target to build Unikraft targets

---
 Makefile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Makefile b/Makefile
index 8213a36..f914120 100644
--- a/Makefile
+++ b/Makefile
@@ -135,6 +135,12 @@ $(BEBLDLIBDIR)/Makefile: | $(BEBLDLIBDIR)
 	test -e $(UNIKRAFT)/Makefile
 	$(SYMLINK) $(UNIKRAFT)/Makefile $@
 
+# Trampoline target to build a Unikraft Makefile target, such as menuconfig,
+# with all the proper options set
+%.unikraft: | $(CONFIG) $(BEBLDLIBDIR)/Makefile $(LIB)/unikraft \
+    $(MUSLARCHIVEPATH) $(LIBMUSL) $(LWIPARCHIVEPATH) $(LIBLWIP)
+	+$(UKMAKE) $*
+
 
 # EXTRACTION OF BUILD INFO
 ############################