2 PROPOPTS
= -strict
-report
-v2
-save_space
-Orewriting
6 CINCLUDE
= -I..
/..
/include
9 CFLAGS
= $(CINCLUDE
) $(COPTS
)
10 LDFLAGS
= -L
$(PROPLIBDIR
) -lprop
$(LDOPTS
)
12 PROP_H_SRC
= willard-ast.ph paige.ph parser.ph rename.ph \
13 querygraph.ph smap.ph \
14 phase1.ph phase2.ph phase3.ph phase4.ph phase5.ph proj.ph \
16 PROP_C_SRC
= willard-ast.pcc paige.pcc paige-aux.pcc rename.pcc \
18 phase1.pcc phase2.pcc phase3.pcc phase4.pcc phase5.pcc proj.pcc \
19 parser.pcc willard.pcc
20 PROP_SRC
= $(PROP_H_SRC
) $(PROP_C_SRC
)
22 GEN_H_SRC
= $(PROP_H_SRC
:.ph
=.h
)
23 GEN_C_SRC
= $(PROP_C_SRC
:.pcc
=.
cc)
24 GEN_SRC
= $(GEN_H_SRC
) $(GEN_C_SRC
)
28 OBJS
= $(C_SRC
:.
cc=.o
)
30 all: $(GEN_SRC
) $(OBJS
) willard
33 $(CC
) $(OBJS
) $(CFLAGS
) $(LDFLAGS
) -o
$@
39 rm -f
$(GEN_SRC
) $(OBJS
) *.report
40 test: willard run-test
43 for t in
1 2 3 4 5 6 7 ; do \
44 echo
"./willard <data$$t >test$$t"; \
45 .
/willard
<data
$$t >test$$t; \
46 echo
"diff out$$t test$$t"; \
47 diff out
$$t test$$t; \
48 if
[ $$?
= 1 ] ; then \
52 @echo All tests ran ok.
55 for t in
1 2 3 4 5 6 7 ; do \
56 .
/willard
<data
$$t >out
$$t; \
62 $(PROP
) $(PROPOPTS
) $<
64 $(PROP
) $(PROPOPTS
) $<
67 $(PROP
) -M
$(PROPOPTS
) $(PROP_H_SRC
) $(PROP_C_SRC
) > prop-depends
68 $(CC
) -MM
$(COPTS
) $(C_SRC
) > c-depends