1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 |
AGDA=agda test: Everything.agda $(AGDA) -i. -isrc README.agda setup: Everything.agda agda-lib-ffi .PHONY: Everything.agda Everything.agda: cabal install GenerateEverything .PHONY: agda-lib-ffi agda-lib-ffi: cd ffi && cabal install .PHONY: listings listings: Everything.agda $(AGDA) -i. -isrc --html README.agda -v0 |