Makefile

IDRIS := idris
PKG   := prelude

build:
	$(IDRIS) --build ${PKG}.ipkg

install:
	$(IDRIS) --install ${PKG}.ipkg
	${IDRIS} --installdoc ${PKG}.ipkg

clean:
	$(IDRIS) --clean ${PKG}.ipkg

rebuild: clean build

linecount:
	find . -name '*.idr' | xargs wc -l

doc:
	$(IDRIS) --mkdoc ${PKG}.ipkg

doc_clean:
	rm -rf ${PKG}_doc

.PHONY: build install clean rebuild linecount doc