2005-04-21 16:53:53 +02:00
|
|
|
# Makefile for all system servers.
|
|
|
|
#
|
|
|
|
MAKE = exec make -$(MAKEFLAGS)
|
|
|
|
|
|
|
|
usage:
|
|
|
|
@echo "" >&2
|
|
|
|
@echo "Makefile for all system servers." >&2
|
|
|
|
@echo "Usage:" >&2
|
|
|
|
@echo " make build # Compile all system servers locally" >&2
|
2005-08-23 14:53:35 +02:00
|
|
|
@echo " make image # Compile servers in boot image" >&2
|
2005-04-21 16:53:53 +02:00
|
|
|
@echo " make clean # Remove local compiler results" >&2
|
|
|
|
@echo " make install # Install servers to /etc/servers/" >&2
|
|
|
|
@echo " (requires root privileges)" >&2
|
|
|
|
@echo "" >&2
|
|
|
|
|
|
|
|
build: all
|
2005-06-24 18:21:21 +02:00
|
|
|
all install depend clean:
|
2005-05-03 17:35:52 +02:00
|
|
|
cd ./pm && $(MAKE) $@
|
2006-10-25 15:40:36 +02:00
|
|
|
cd ./vfs && $(MAKE) $@
|
|
|
|
cd ./mfs && $(MAKE) $@
|
2005-08-23 13:31:32 +02:00
|
|
|
cd ./rs && $(MAKE) $@
|
2005-10-20 22:32:40 +02:00
|
|
|
cd ./ds && $(MAKE) $@
|
2005-04-21 16:53:53 +02:00
|
|
|
cd ./is && $(MAKE) $@
|
|
|
|
cd ./init && $(MAKE) $@
|
|
|
|
cd ./inet && $(MAKE) $@
|
|
|
|
|
2005-08-23 14:53:35 +02:00
|
|
|
image:
|
2005-08-29 22:00:39 +02:00
|
|
|
cd ./pm && $(MAKE) EXTRA_OPTS=$(EXTRA_OPTS) build
|
2006-10-25 15:40:36 +02:00
|
|
|
cd ./vfs && $(MAKE) EXTRA_OPTS=$(EXTRA_OPTS) build
|
|
|
|
cd ./mfs && $(MAKE) EXTRA_OPTS=$(EXTRA_OPTS) build
|
2005-08-29 22:00:39 +02:00
|
|
|
cd ./rs && $(MAKE) EXTRA_OPTS=$(EXTRA_OPTS) build
|
2005-10-20 22:32:40 +02:00
|
|
|
cd ./ds && $(MAKE) EXTRA_OPTS=$(EXTRA_OPTS) build
|
2005-08-29 22:00:39 +02:00
|
|
|
cd ./init && $(MAKE) EXTRA_OPTS=$(EXTRA_OPTS) build
|
2005-08-23 14:53:35 +02:00
|
|
|
|
|
|
|
|