Add 'doc' and 'doc_clean' make targets for Effects lib
commit87ac834b5f981fdc2ff42d432256cfe676e8317b
authorJake Mitchell <jacob.d.mitchell@gmail.com>
dateSat 26 Jul 2014, 14:07 (12 years ago)
parent92af9ba
libs/effects/Makefile+11−4
@@ -1,14 +1,21 @@
11IDRIS := idris
2+PKG := effects
23
34build:
4− $(IDRIS) --build effects.ipkg
5+ $(IDRIS) --build ${PKG}.ipkg
56
67clean:
7− $(IDRIS) --clean effects.ipkg
8+ $(IDRIS) --clean ${PKG}.ipkg
89
910install:
10− $(IDRIS) --install effects.ipkg
11+ $(IDRIS) --install ${PKG}.ipkg
1112
1213rebuild: clean build
1314
14−.PHONY: build clean install rebuild
15+doc:
16+ $(IDRIS) --mkdoc ${PKG}.ipkg
17+
18+doc_clean:
19+ rm -rf ${PKG}_doc
20+
21+.PHONY: build clean install rebuild doc doc_clean