git.iko.soy/Idris-dev
on 357cd83 help sign in
Idris-dev/lib/Makefile
17 lines 228 B history raw
1IDRIS := idris
3build: .PHONY
4 $(IDRIS) --build base.ipkg
6install:
7 $(IDRIS) --install base.ipkg
9clean: .PHONY
10 $(IDRIS) --clean base.ipkg
12rebuild: clean build
14linecount: .PHONY
15 find . -name '*.idr' | xargs wc -l
17.PHONY: