build/l4/Makefile

   1 all: fiasco l4re
   2
   3 help:
   4         @echo "Supported targets:"
   5         @echo "  all           - Build all"
   6         @echo "  fiasco        - Build Fiasco kernel"
   7         @echo "  fiasco-config - Reconfigure Fiasco kernel"
   8         @echo "  l4re          - Build L4 runtime environment"
   9         @echo "  l4re-config   - Reconfigure L4 runtime environment"
  10         @echo "  hello         - Build image with hello entry"
  11         @echo "  benchmarks    - (Re)Build ferret directory & prepare image with benchmarks"
  12
  13 .NOTPARALLEL:
  14
  15 ########## Fiasco ##########
  16
  17 .PHONY: fiasco
  18 fiasco: fiasco/globalconfig.out
  19         $(MAKE) -C fiasco
  20
  21 .PHONY: fiasco-config
  22 fiasco-config: fiasco/globalconfig.out
  23
  24 ifeq ($(MAKECMDGOALS),fiasco-config)
  25 .PHONY: fiasco/globalconfig.out
  26 endif
  27
  28 fiasco/globalconfig.out: fiasco/.stamp-jh
  29         $(MAKE) -C $(@D) config
  30         touch $@
  31
  32 fiasco/.stamp-jh:
  33         $(MAKE) -C ../../l4/kernel/fiasco BUILDDIR=$(CURDIR)/$(@D)
  34         touch $@
  35
  36 ########## L4Re ##########
  37
  38 L4RE_PKGS = acpica bootstrap cxx_thread drivers drivers-frst fb-drv     \
  39 hello input io/io io/libio io/libio-direct io/libio-io io/libvbus       \
  40 l4re-core/crtn l4re-core/cxx l4re-core/cxx_libc_io l4re-core/l4re       \
  41 l4re-core/l4re_c l4re-core/l4re_kernel l4re-core/l4re_vfs               \
  42 l4re-core/l4sys l4re-core/l4util l4re-core/ldscripts l4re-core/ldso     \
  43 l4re-core/libc_backends l4re-core/libgcc l4re-core/libgcc-pure          \
  44 l4re-core/libkproxy l4re-core/libloader l4re-core/libsigma0             \
  45 l4re-core/libstdc++-headers l4re-core/libstdc++-v3                      \
  46 l4re-core/libstdc++-v3-minimal l4re-core/libsupc++                      \
  47 l4re-core/libsupc++-minimal l4re-core/lua l4re-core/moe l4re-core/ned   \
  48 l4re-core/sigma0 l4re-core/uclibc l4re-core/uclibc-headers              \
  49 l4re-core/uclibc-minimal libedid libirq libvcpu loader log lxfuxlibc    \
  50 rtc shmcKE) -C l4re MODULE_SEARCH_PATH=$(CURDIR)/fiasco E=hello elfimage x86emu
  51
  52 .PHONY: l4re
  53 l4re: l4re/.kconfig
  54         $(MAKE) -C l4re #S="$(L4RE_PKGS:%=pkg/%)"
  55
  56 .PHONY: l4re-config
  57 l4re-config: l4re/.kconfig
  58
  59 ifeq ($(MAKECMDGOALS),l4re-config)
  60 .PHONY: l4re/.kconfig
  61 endif
  62
  63 l4re/.kconfig: l4re/.stamp-jh
  64         $(MAKE) -C $(@D) config
  65         touch $@
  66
  67 l4re/.stamp-jh:
  68         $(MAKE) -C ../../l4/l4 B=$(CURDIR)/$(@D)
  69         touch $@
  70
  71 ########## Application ##########
  72
  73 .PHONY: hello
  74 hello:
  75         $(MAKE) -C l4re MODULE_SEARCH_PATH=$(CURDIR)/fiasco E=hello elfimage
  76
  77 .PHONY: benchmarks
  78 benchmarks:
  79         $(MAKE) -C l4re MODULE_SEARCH_PATH=$(CURDIR)/fiasco S=pkg/ferret:pkg/ferret/examples/monitors/simple_mon_re
  80         $(MAKE) -C l4re MODULES_LIST=$(CURDIR)/ferret-modules.list MODULE_SEARCH_PATH=$(CURDIR)/fiasco:$(CURDIR)/ned-confs/ E=ferret-bench elfimage
  81
  82 .PHONY: bench
  83 bench:
  84         $(MAKE) -C l4re MODULE_SEARCH_PATH=$(CURDIR)/fiasco S=pkg/benchmark
  85         $(MAKE) -C l4re MODULES_LIST=$(CURDIR)/ferret-modules.list MODULE_SEARCH_PATH=$(CURDIR)/fiasco:$(CURDIR)/ned-confs/ E=bench elfimage
  86