git.iko.soy/Idris-dev
on 7afa310 help sign in
Idris-dev/libs/oldeffects/Makefile
22 lines 291 B history raw
1IDRIS := idris
3PKG := effects
5build:
6 $(IDRIS) --build ${PKG}.ipkg
8clean:
9 $(IDRIS) --clean ${PKG}.ipkg
11install:
12 $(IDRIS) --install ${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