Merge pull request #1313 from jfdm/libs/documentation
Building idrisdoc for libs/
commitf48942bc4dda431c897d3c969b628189d2f2df46
authorEdwin Brady <edwin.brady@gmail.com>
dateFri 13 Jun 2014, 15:37 (12 years ago)
parent930f16aaa7caa9
Makefile+6−1
@@ -1,4 +1,4 @@
1−.PHONY: build configure doc install linecount nodefault pinstall lib_clean relib test_c test
1+.PHONY: build configure doc install linecount nodefault pinstall lib_clean relib test_c test lib_doc lib_doc_clean
22
33include config.mk
44-include custom.mk
@@ -45,6 +45,11 @@ linecount:
4545doc: dist/setup-config
4646 $(CABAL) haddock --hyperlink-source --html --hoogle --html-location="http://hackage.haskell.org/packages/archive/\$$pkg/latest/doc/html" --haddock-options="--title Idris"
4747
48+lib_doc:
49+ $(MAKE) -C libs IDRIS=../../dist/build/idris/idris doc
50+
51+lib_doc_clean:
52+ $(MAKE) -C libs IDRIS=../../dist/build/idris/idris doc_clean
4853
4954dist/setup-config:
5055 $(CABAL) configure $(CABALFLAGS)
libs/Makefile+13−2
@@ -13,5 +13,16 @@ clean:
1313 $(MAKE) -C prelude clean
1414 $(MAKE) -C base clean
1515 $(MAKE) -C effects clean
16−
17−.PHONY: build install clean
16+
17+doc:
18+ $(MAKE) -C prelude doc
19+ $(MAKE) -C base doc
20+ $(MAKE) -C effects doc
21+
22+doc_clean:
23+ $(MAKE) -C prelude doc_clean
24+ $(MAKE) -C base doc_clean
25+ $(MAKE) -C effects doc_clean
26+
27+
28+.PHONY: build install clean doc doc_clean
libs/base/Makefile+10−3
@@ -1,16 +1,23 @@
11IDRIS := idris
2+PKG := base
23
34build:
4− $(IDRIS) --build base.ipkg
5+ $(IDRIS) --build ${PKG}.ipkg
56
67install:
7− $(IDRIS) --install base.ipkg
8+ $(IDRIS) --install ${PKG}.ipkg
89
910clean:
10− $(IDRIS) --clean base.ipkg
11+ $(IDRIS) --clean ${PKG}.ipkg
1112
1213rebuild: clean build
1314
15+doc:
16+ ${IDRIS} --mkdoc ${PKG}.ipkg
17+
18+doc_clean:
19+ rm -rf ${PKG}_doc
20+
1421linecount:
1522 find . -name '*.idr' | xargs wc -l
1623
libs/effects/Makefile+13−5
@@ -1,14 +1,22 @@
1−IDRIS := idris
1+IDRIS := idris
2+
3+PKG := effects
24
35build:
4− $(IDRIS) --build effects.ipkg
6+ $(IDRIS) --build ${PKG}.ipkg
57
68clean:
7− $(IDRIS) --clean effects.ipkg
9+ $(IDRIS) --clean ${PKG}.ipkg
810
911install:
10− $(IDRIS) --install effects.ipkg
12+ $(IDRIS) --install ${PKG}.ipkg
1113
1214rebuild: clean build
1315
14−.PHONY: build clean install rebuild
16+doc:
17+ $(IDRIS) --mkdoc ${PKG}.ipkg
18+
19+doc_clean:
20+ rm -rf ${PKG}_doc
21+
22+.PHONY: build clean install rebuild doc doc_clean
libs/oldeffects/Makefile+12−5
@@ -1,14 +1,21 @@
1−IDRIS := idris
1+IDRIS := idris
2+PKG := oldeffects
23
34build:
4− $(IDRIS) --build oldeffects.ipkg
5+ $(IDRIS) --build ${PKG}.ipkg
56
67clean:
7− $(IDRIS) --clean oldeffects.ipkg
8+ $(IDRIS) --clean ${PKG}.ipkg
89
910install:
10− $(IDRIS) --install oldeffects.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
libs/prelude/Makefile+11−4
@@ -1,17 +1,24 @@
11IDRIS := idris
2+PKG := prelude
23
34build:
4− $(IDRIS) --build prelude.ipkg
5+ $(IDRIS) --build ${PKG}.ipkg
56
67install:
7− $(IDRIS) --install prelude.ipkg
8+ $(IDRIS) --install ${PKG}.ipkg
89
910clean:
10− $(IDRIS) --clean prelude.ipkg
11+ $(IDRIS) --clean ${PKG}.ipkg
1112
1213rebuild: clean build
1314
1415linecount:
1516 find . -name '*.idr' | xargs wc -l
1617
17−.PHONY: build install clean rebuild linecount
18+doc:
19+ $(IDRIS) --mkdoc ${PKG}.ipkg
20+
21+doc_clean:
22+ rm -rf ${PKG}_doc
23+
24+.PHONY: build install clean rebuild linecount doc