repo.or.cz
/
jungerl.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Merge branch 'pu'
[jungerl.git]
/
lib
/
Makefile
blob
307c7f7c2f8a7cf29e331c47ba8ca90b23bf4a79
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
38
39
all
: $(
LIBS
)
40
41
clean
:
42
@for
dir
in
$(
LIBS
);
do \
43
if
[ ! -
f
$
@
/
SKIP
];
then \
44
(
cd
$
$dir
; $(
MAKE
) $
@
)
\
45
fi \
46
done
47
48
$(
LIBS
):
49
@if
[ ! -
f
$
@
/
SKIP
];
then \
50
(
cd
$
@
; $(
MAKE
)
all
)
\
51
fi
52
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
66
67
68
.PHONY
: $(
LIBS
)
69