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