2
TESTS=Q Printf Proj TestWith
4
PRELUDEMODS=AlonzoPrelude PreludeBool PreludeNat PreludeList PreludeString \
5
PreludeShow PreludeInt PreludeAll
7
tests: prelude #$(TESTS)
8
for i in $(TESTS) ; do \
9
#$(ALONZO) $$i.agda; ghc -c $$i.hs ; \
25
for i in $(PRELUDEMODS); do \
26
echo "Compiling $$i"; $(ALONZO) $$i.agda; ghc -c $$i.hs ; \
31
for i in $(PRELUDEMODS); do \
35
-rm -f *.hi *.o *~ *.agdai
b'\\ No newline at end of file'