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