Merge branch 'pu'
[jungerl.git] / lib / Makefile
blob307c7f7c2f8a7cf29e331c47ba8ca90b23bf4a79
1 LIBS := \
2 builder \
3 ce \
4 distel \
5 edoc \
6 eldap \
7 enfs \
8 erl_cgi \
9 ermacs \
10 ex11 \
11 gd1_drv \
12 gen_leader \
13 slang \
14 ssh \
15 lersp \
16 lines \
17 measurement \
18 msc \
19 plain_fsm \
20 pan \
21 pico \
22 posix_drv \
23 proc \
24 proc_reg \
25 quickcheck \
26 rdbms \
27 rpc \
28 smart_exceptions \
29 spread_drv \
30 syntax_tools \
31 tuntap \
32 ucs \
33 wiki \
34 wumpus \
35 www_tools \
36 xmerl \
37 xmlrpc
39 all: $(LIBS)
41 clean:
42 @for dir in $(LIBS); do \
43 if [ ! -f $@/SKIP ]; then \
44 (cd $$dir; $(MAKE) $@) \
45 fi \
46 done
48 $(LIBS):
49 @if [ ! -f $@/SKIP ]; then \
50 (cd $@; $(MAKE) all) \
53 # Dependencies between programs.
54 ce: edoc
55 edoc: syntax_tools xmerl
56 ermacs: slang msc
57 enfs: rpc
58 gen_leader: edoc
59 lines: edoc
60 measurement: edoc
61 plain_fsm: edoc
62 wiki: pico
63 wumpus: edoc
64 xmlrpc: xmerl
65 xmerl: ucs
68 .PHONY: $(LIBS)