git.iko.soy/Idris-dev
on 7afa310 help sign in
Idris-dev/libs/base/Makefile
24 lines 330 B history raw
1IDRIS := idris
2PKG := base
4build:
5 $(IDRIS) --build ${PKG}.ipkg
7install:
8 $(IDRIS) --install ${PKG}.ipkg
10clean:
11 $(IDRIS) --clean ${PKG}.ipkg
13rebuild: clean build
15doc:
16 ${IDRIS} --mkdoc ${PKG}.ipkg
18doc_clean:
19 rm -rf ${PKG}_doc
21linecount:
22 find . -name '*.idr' | xargs wc -l
24.PHONY: build install clean rebuild linecount