git.iko.soy/Idris-dev
on 7afa310 help sign in
Idris-dev/libs/effects/Makefile
21 lines 298 B history raw
1IDRIS := idris
2PKG := effects
4build:
5 $(IDRIS) --build ${PKG}.ipkg
7clean:
8 $(IDRIS) --clean ${PKG}.ipkg
10install:
11 $(IDRIS) --install ${PKG}.ipkg
13rebuild: clean build
15doc:
16 $(IDRIS) --mkdoc ${PKG}.ipkg
18doc_clean:
19 rm -rf ${PKG}_doc
21.PHONY: build clean install rebuild doc doc_clean