1 # Makefile for all system servers.
3 MAKE
= exec make
-$(MAKEFLAGS
)
7 @echo
"Makefile for all system servers." >&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
17 all install depend
clean:
19 cd .
/vfs
&& $(MAKE
) $@
20 cd .
/mfs
&& $(MAKE
) $@
21 cd .
/pfs
&& $(MAKE
) $@
22 cd .
/iso9660fs
&& $(MAKE
) $@
27 cd .
/init
&& $(MAKE
) $@
28 cd .
/inet
&& $(MAKE
) $@
29 cd .
/ipc
&& $(MAKE
) $@
32 cd .
/pm
&& $(MAKE
) EXTRA_OPTS
=$(EXTRA_OPTS
) build
33 cd .
/vfs
&& $(MAKE
) EXTRA_OPTS
=$(EXTRA_OPTS
) build
34 cd .
/pfs
&& $(MAKE
) EXTRA_OPTS
=$(EXTRA_OPTS
) build
35 cd .
/mfs
&& $(MAKE
) EXTRA_OPTS
=$(EXTRA_OPTS
) build
36 cd .
/rs
&& $(MAKE
) EXTRA_OPTS
=$(EXTRA_OPTS
) build
37 cd .
/ds
&& $(MAKE
) EXTRA_OPTS
=$(EXTRA_OPTS
) build
38 cd .
/vm
&& $(MAKE
) EXTRA_OPTS
=$(EXTRA_OPTS
) build
39 cd .
/init
&& $(MAKE
) EXTRA_OPTS
=$(EXTRA_OPTS
) build