on ff0fbfa help sign in
Idris-dev/effects/Makefile
13 lines 227 B history raw
2check: .PHONY
3 $(IDRIS) --dynamicrts $(RTS) --build effects.ipkg
5recheck: clean check
7install:
8 $(IDRIS) --dynamicrts $(RTS) --install effects.ipkg
10clean: .PHONY
11 $(IDRIS) --dynamicrts $(RTS) --clean effects.ipkg
13.PHONY: