on d66da21 help sign in
14 lines 185 B history raw
1IDRIS := idris
3build: .PHONY
4 $(IDRIS) --build effects.ipkg
6clean: .PHONY
7 $(IDRIS) --clean effects.ipkg
9install:
10 $(IDRIS) --install effects.ipkg
12rebuild: clean build
14.PHONY: