l4: Makefile: Add the entry for build the ferret demo.

[jailhouse-test.git] / build / l4 / Makefile

diff --git a/build/l4/Makefile b/build/l4/Makefile
index e1989c57e3a466d56910f9d83237abc17a403281..2a5ef571c77905a321bebf43d4dee39cc627c2fc 100644 (file)
--- a/build/l4/Makefile
+++ b/build/l4/Makefile
@@ -5,9 +5,10 @@ help:
        @echo "  all           - Build all"
        @echo "  fiasco        - Build Fiasco kernel"
        @echo "  fiasco-config - Reconfigure Fiasco kernel"
-       @echo "  l4re          - Build L4 runtime environment"
+       @echo "  l4re          - Build L4 runtime environment"
        @echo "  l4re-config   - Reconfigure L4 runtime environment"
-       @echo "  hello         - Build image with hello entry"
+       @echo "  hello         - Build image with hello entry"
+       @echo "  benchmarks    - (Re)Build ferret directory & prepare image with benchmarks"
 
 .NOTPARALLEL:
 
@@ -46,7 +47,7 @@ l4re-core/libstdc++-v3-minimal l4re-core/libsupc++                    \
 l4re-core/libsupc++-minimal l4re-core/lua l4re-core/moe l4re-core/ned  \
 l4re-core/sigma0 l4re-core/uclibc l4re-core/uclibc-headers             \
 l4re-core/uclibc-minimal libedid libirq libvcpu loader log lxfuxlibc   \
-rtc shmc x86emu
+rtc shmcKE) -C l4re MODULE_SEARCH_PATH=$(CURDIR)/fiasco E=hello elfimage x86emu
 
 .PHONY: l4re
 l4re: l4re/.kconfig
@@ -72,3 +73,8 @@ l4re/.stamp-jh:
 .PHONY: hello
 hello:
        $(MAKE) -C l4re MODULE_SEARCH_PATH=$(CURDIR)/fiasco E=hello elfimage
+
+.PHONY: benchmarks
+benchmarks:
+       $(MAKE) -C l4re MODULE_SEARCH_PATH=$(CURDIR)/fiasco S=pkg/ferret:pkg/ferret/examples/monitors/simple_mon_re
+       $(MAKE) -C l4re MODULES_LIST=$(CURDIR)/ferret-modules.list MODULE_SEARCH_PATH=$(CURDIR)/fiasco:$(CURDIR)/ned-confs/ E=ferret-bench elfimage