git.iko.soy/Idris-dev
on ea65347 help sign in
Idris-dev/libs/base/Makefile
25 lines 378 B history raw
1IDRIS := idris
2PKG := base
4build:
5 $(IDRIS) --build ${PKG}.ipkg
7install:
8 $(IDRIS) --install ${PKG}.ipkg
9 ${IDRIS} --installdoc ${PKG}.ipkg
11clean:
12 $(IDRIS) --clean ${PKG}.ipkg
14rebuild: clean build
16doc:
17 ${IDRIS} --mkdoc ${PKG}.ipkg
19doc_clean:
20 rm -rf ${PKG}_doc
22linecount:
23 find . -name '*.idr' | xargs wc -l
25.PHONY: build install clean rebuild linecount doc doc_clean