git.iko.soy/Idris-dev
on v0.9.18.1 help sign in
Idris-dev/Makefile
70 lines 1.6 kB history raw
1.PHONY: build configure doc install linecount nodefault pinstall lib_clean relib test_c test lib_doc lib_doc_clean user_doc_html user_doc_pdf user_docs
3include config.mk
4-include custom.mk
6ifdef CI
7CABALFLAGS += -f CI
8endif
10install:
11 $(CABAL) install $(CABALFLAGS)
13pinstall: CABALFLAGS += --enable-executable-profiling
14pinstall: dist/setup-config
15 $(CABAL) install $(CABALFLAGS)
17build: dist/setup-config
18 $(CABAL) build $(CABALFLAGS)
20test: doc test_c
22test_c:
23 $(MAKE) -C test IDRIS=../dist/build/idris
25test_java:
26 $(MAKE) -C test IDRIS=../dist/build/idris test_java
28test_llvm:
29 $(MAKE) -C test IDRIS=../dist/build/idris test_llvm
31test_js:
32 $(MAKE) -C test IDRIS=../dist/build/idris test_js
34test_all:
35 $(MAKE) test
36 $(MAKE) test_llvm
37 $(MAKE) test_java
39lib_clean:
40 $(MAKE) -C libs IDRIS=../../dist/build/idris/idris RTS=../../dist/build/rts/libidris_rts clean
42relib: lib_clean
43 $(CABAL) install $(CABALFLAGS)
45linecount:
46 wc -l src/Idris/*.hs src/Idris/Core/*.hs src/IRTS/*.hs src/Pkg/*.hs
48#Note: this doesn't yet link to Hackage properly
49doc: dist/setup-config
50 $(CABAL) haddock --hyperlink-source --html --hoogle --html-location="http://hackage.haskell.org/packages/archive/\$$pkg/latest/doc/html" --haddock-options="--title Idris"
52lib_doc:
53 $(MAKE) -C libs IDRIS=../../dist/build/idris/idris doc
55lib_doc_clean:
56 $(MAKE) -C libs IDRIS=../../dist/build/idris/idris doc_clean
58user_docs: user_doc_html user_doc_pdf
60user_doc_clean:
61 $(MAKE) -C docs clean
63user_doc_html:
64 $(MAKE) -C docs html
66user_doc_pdf:
67 $(MAKE) -C docs latexpdf
69dist/setup-config:
70 $(CABAL) configure $(CABALFLAGS)