Makefile · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Idris-dev/Makefile

79 lines 1.9 kB history raw

1.PHONY: build configure doc install linecount nodefault pinstall lib_clean relib fast test_js test_c test test_clean lib_doc lib_doc_clean user_doc_html user_doc_pdf user_docs

3ARGS=

4TEST-JOBS=

5TEST-ARGS=

7include config.mk

8-include custom.mk

10ifdef CI

11CABALFLAGS += -f CI

12ifndef APPVEYOR

13TEST-ARGS += --color always

14endif

15endif

17install:

18 $(CABAL) install $(CABALFLAGS)

20pinstall: CABALFLAGS += --enable-executable-profiling

21pinstall: dist/setup-config

22 $(CABAL) install $(CABALFLAGS)

24build: dist/setup-config

25 $(CABAL) build $(CABALFLAGS)

27test: doc test_c

29test_c:

30 $(CABAL) test $(ARGS) --test-options \

31 "$(TEST-ARGS) --rerun-update +RTS -N$(TEST-JOBS) -RTS"

33test_js:

34 $(CABAL) test $(ARGS) --test-options \

35 "$(TEST-ARGS) --node --rerun-update +RTS -N$(TEST-JOBS) -RTS"

37test_update:

38 $(CABAL) test $(ARGS) --test-options \

39 "$(TEST-ARGS) --accept +RTS -N$(TEST-JOBS) -RTS"

41test_clean:

42 rm -f test/*~

43 rm -f test/*/output

45lib_clean:

46 $(MAKE) -C libs IDRIS=../../dist/build/idris/idris RTS=../../dist/build/rts/libidris_rts clean

48relib: lib_clean

49 $(CABAL) install $(CABALFLAGS)

51linecount:

52 wc -l src/Idris/*.hs src/Idris/Elab/*.hs src/Idris/Core/*.hs src/IRTS/*.hs src/Pkg/*.hs src/Util/*.hs

54#Note: this doesn't yet link to Hackage properly

55doc: dist/setup-config

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

58lib_doc:

59 $(MAKE) -C libs IDRIS=../../dist/build/idris/idris doc

61lib_doc_clean:

62 $(MAKE) -C libs IDRIS=../../dist/build/idris/idris doc_clean

64user_docs: user_doc_html user_doc_pdf

66user_doc_clean:

67 $(MAKE) -C docs clean

69user_doc_html:

70 $(MAKE) -C docs html

72user_doc_pdf:

73 $(MAKE) -C docs latexpdf

75fast:

76 $(CABAL) install $(CABALFLAGS) --ghc-option=-O0

78dist/setup-config:

79 $(CABAL) configure $(CABALFLAGS)