servers/Makefile

   1 # Makefile for all system servers.
   2 #
   3 MAKE = exec make -$(MAKEFLAGS)
   4
   5 usage:
   6         @echo "" >&2
   7         @echo "Makefile for all system servers." >&2
   8         @echo "Usage:" >&2
   9         @echo " make build    # Compile all system servers locally" >&2
  10         @echo " make image    # Compile servers in boot image" >&2
  11         @echo " make clean    # Remove local compiler results" >&2
  12         @echo " make install  # Install servers to /etc/servers/" >&2
  13         @echo "                 (requires root privileges)" >&2
  14         @echo "" >&2
  15
  16 build: all
  17 all install depend clean:
  18         cd ./pm && $(MAKE) $@
  19         cd ./vfs && $(MAKE) $@
  20         cd ./mfs && $(MAKE) $@
  21         cd ./rs && $(MAKE) $@
  22         cd ./ds && $(MAKE) $@
  23         cd ./is && $(MAKE) $@
  24         cd ./init && $(MAKE) $@
  25         cd ./inet && $(MAKE) $@
  26
  27 image:
  28         cd ./pm && $(MAKE) EXTRA_OPTS=$(EXTRA_OPTS) build
  29         cd ./vfs && $(MAKE) EXTRA_OPTS=$(EXTRA_OPTS) build
  30         cd ./mfs && $(MAKE) EXTRA_OPTS=$(EXTRA_OPTS) build
  31         cd ./rs && $(MAKE) EXTRA_OPTS=$(EXTRA_OPTS) build
  32         cd ./ds && $(MAKE) EXTRA_OPTS=$(EXTRA_OPTS) build
  33         cd ./init && $(MAKE) EXTRA_OPTS=$(EXTRA_OPTS) build
  34
  35