f48942b · Idris-dev · git.iko.soy

Makefile+6−1

compare with master

unifiedsplit

@@ -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

2

3include config.mk

4-include custom.mk

@@ -45,6 +45,11 @@ linecount:

45doc: dist/setup-config

46 $(CABAL) haddock --hyperlink-source --html --hoogle --html-location="http://hackage.haskell.org/packages/archive/\$$pkg/latest/doc/html" --haddock-options="--title Idris"

47

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

48

53

49dist/setup-config:

54dist/setup-config:

50 $(CABAL) configure $(CABALFLAGS)

55 $(CABAL) configure $(CABALFLAGS)

libs/Makefile+13−2

@@ -13,5 +13,16 @@ clean:

13 $(MAKE) -C prelude clean

14 $(MAKE) -C base clean

15 $(MAKE) -C effects clean

16−

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+

17−.PHONY: build install clean

28+.PHONY: build install clean doc doc_clean

libs/base/Makefile+10−3

@@ -1,16 +1,23 @@

1IDRIS := idris

2+PKG := base

2

3

3build:

4build:

4− $(IDRIS) --build base.ipkg

5+ $(IDRIS) --build ${PKG}.ipkg

5

6

6install:

7install:

7− $(IDRIS) --install base.ipkg

8+ $(IDRIS) --install ${PKG}.ipkg

8

9

9clean:

10clean:

10− $(IDRIS) --clean base.ipkg

11+ $(IDRIS) --clean ${PKG}.ipkg

11

12

12rebuild: clean build

13rebuild: clean build

13

14

15+doc:

16+ ${IDRIS} --mkdoc ${PKG}.ipkg

17+

18+doc_clean:

19+ rm -rf ${PKG}_doc

20+

14linecount:

21linecount:

15 find . -name '*.idr' | xargs wc -l

22 find . -name '*.idr' | xargs wc -l

16

23

libs/effects/Makefile+13−5

@@ -1,14 +1,22 @@

1−IDRIS := idris

1+IDRIS := idris

2+

3+PKG := effects

2

4

3build:

5build:

4− $(IDRIS) --build effects.ipkg

6+ $(IDRIS) --build ${PKG}.ipkg

5

7

6clean:

8clean:

7− $(IDRIS) --clean effects.ipkg

9+ $(IDRIS) --clean ${PKG}.ipkg

8

10

9install:

11install:

10− $(IDRIS) --install effects.ipkg

12+ $(IDRIS) --install ${PKG}.ipkg

11

13

12rebuild: clean build

14rebuild: clean build

13

15

16+doc:

17+ $(IDRIS) --mkdoc ${PKG}.ipkg

18+

19+doc_clean:

20+ rm -rf ${PKG}_doc

21+

14−.PHONY: build clean install rebuild

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

2

3

3build:

4build:

4− $(IDRIS) --build oldeffects.ipkg

5+ $(IDRIS) --build ${PKG}.ipkg

5

6

6clean:

7clean:

7− $(IDRIS) --clean oldeffects.ipkg

8+ $(IDRIS) --clean ${PKG}.ipkg

8

9

9install:

10install:

10− $(IDRIS) --install oldeffects.ipkg

11+ $(IDRIS) --install ${PKG}.ipkg

11

12

12rebuild: clean build

13rebuild: clean build

13

14

15+doc:

16+ $(IDRIS) --mkdoc ${PKG}.ipkg

17+

18+doc_clean:

19+ rm -rf ${PKG}_doc

20+

14−.PHONY: build clean install rebuild

21+.PHONY: build clean install rebuild doc

libs/prelude/Makefile+11−4

@@ -1,17 +1,24 @@

1IDRIS := idris

2+PKG := prelude

2

3

3build:

4build:

4− $(IDRIS) --build prelude.ipkg

5+ $(IDRIS) --build ${PKG}.ipkg

5

6

6install:

7install:

7− $(IDRIS) --install prelude.ipkg

8+ $(IDRIS) --install ${PKG}.ipkg

8

9

9clean:

10clean:

10− $(IDRIS) --clean prelude.ipkg

11+ $(IDRIS) --clean ${PKG}.ipkg

11

12

12rebuild: clean build

13rebuild: clean build

13

14

14linecount:

15linecount:

15 find . -name '*.idr' | xargs wc -l

16 find . -name '*.idr' | xargs wc -l

16

17

18+doc:

19+ $(IDRIS) --mkdoc ${PKG}.ipkg

20+

21+doc_clean:

22+ rm -rf ${PKG}_doc

23+

17−.PHONY: build install clean rebuild linecount

24+.PHONY: build install clean rebuild linecount doc