git.iko.soy/Idris-dev
on aeb032a help sign in
Idris-dev/libs/effects/Makefile
22 lines 333 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
12 ${IDRIS} --installdoc ${PKG}.ipkg
14rebuild: clean build
16doc:
17 $(IDRIS) --mkdoc ${PKG}.ipkg
19doc_clean:
20 rm -rf ${PKG}_doc
22.PHONY: build clean install rebuild doc doc_clean