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