git.iko.soy/Idris-dev
on appveyor-fix help sign in
Idris-dev/Makefile
82 lines 1.9 kB history raw
1.PHONY: build configure doc install linecount nodefault pinstall lib_clean relib fast test_js test_c stylize 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) v1-install $(CABALFLAGS)
20pinstall: CABALFLAGS += --enable-executable-profiling
21pinstall: dist/setup-config
22 $(CABAL) v1-install $(CABALFLAGS)
24build: dist/setup-config
25 $(CABAL) v1-build $(CABALFLAGS)
27test: doc test_c stylize
29stylize:
30 ./stylize.sh
32test_c:
33 $(CABAL) test $(ARGS) --test-options \
34 "$(TEST-ARGS) --rerun-update +RTS -N$(TEST-JOBS) -RTS"
36test_js:
37 $(CABAL) test $(ARGS) --test-options \
38 "$(TEST-ARGS) --node --rerun-update +RTS -N$(TEST-JOBS) -RTS"
40test_update:
41 $(CABAL) test $(ARGS) --test-options \
42 "$(TEST-ARGS) --accept +RTS -N$(TEST-JOBS) -RTS"
44test_clean:
45 rm -f test/*~
46 rm -f test/*/output
48lib_clean:
49 $(MAKE) -C libs IDRIS=../../dist/build/idris/idris RTS=../../dist/build/rts/libidris_rts clean
51relib: lib_clean
52 $(CABAL) v1-install $(CABALFLAGS)
54linecount:
55 wc -l src/Idris/*.hs src/Idris/Elab/*.hs src/Idris/Core/*.hs src/IRTS/*.hs src/Pkg/*.hs src/Util/*.hs
57#Note: this doesn't yet link to Hackage properly
58doc: dist/setup-config
59 $(CABAL) haddock --hyperlink-source --html --hoogle --html-location="http://hackage.haskell.org/packages/archive/\$$pkg/latest/doc/html" --haddock-options="--title Idris"
61lib_doc:
62 $(MAKE) -C libs IDRIS=../../dist/build/idris/idris doc
64lib_doc_clean:
65 $(MAKE) -C libs IDRIS=../../dist/build/idris/idris doc_clean
67user_docs: user_doc_html user_doc_pdf
69user_doc_clean:
70 $(MAKE) -C docs clean
72user_doc_html:
73 $(MAKE) -C docs html
75user_doc_pdf:
76 $(MAKE) -C docs latexpdf
78fast:
79 $(CABAL) v1-install $(CABALFLAGS) --ghc-option=-O0
81dist/setup-config:
82 $(CABAL) v1-configure $(CABALFLAGS)