idris-0.9.9.3: javascript/Makefile

IDRIS := idris

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

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

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

rebuild: clean build

.PHONY: