| 1234567891011121314151617181920212223242526272829303132333435 |
- ALONZO=agda -c
- TESTS=Q Printf Proj TestWith
- RTMODS = RTS RTP
- PRELUDEMODS=AlonzoPrelude PreludeBool PreludeNat PreludeList PreludeString \
- PreludeShow PreludeInt PreludeAll
- tests: prelude #$(TESTS)
- for i in $(TESTS) ; do \
- #$(ALONZO) $$i.agda; ghc -c $$i.hs ; \
- ./almake $$i ; \
- done
- Q: Q.agda
- $(ALONZO) Q.agda
- ghc -c Q.hs
- runtime:
- ghc -c RTS.hs
- ghc -c RTN.hs
- ghc -c RTP.hs
- prelude: runtime
- for i in $(PRELUDEMODS); do \
- echo "Compiling $$i"; $(ALONZO) $$i.agda; ghc -c $$i.hs ; \
- done
- clean:
- for i in $(PRELUDEMODS); do \
- rm -f $$i.hs ; \
- done
- -rm -f $(TESTS)
- -rm -f *.hi *.o *~ *.agdai
|
