idris-0.9.9.3: effects/Makefile

IDRIS     := idris

build: .PHONY
	$(IDRIS) --build effects.ipkg

clean: .PHONY
	$(IDRIS) --clean effects.ipkg

install:
	$(IDRIS) --install effects.ipkg

rebuild: clean build

.PHONY: