git.iko.soy/Idris-dev
on 034b415 help sign in
Idris-dev/Makefile
55 lines 1.4 kB history raw
1.PHONY: build configure doc install linecount nodefault pinstall lib_clean relib test_c test lib_doc lib_doc_clean
3include config.mk
4-include custom.mk
6install:
7 $(CABAL) install $(CABALFLAGS)
9pinstall: CABALFLAGS += --enable-executable-profiling
10pinstall: dist/setup-config
11 $(CABAL) install $(CABALFLAGS)
13build: dist/setup-config
14 $(CABAL) build $(CABALFLAGS)
16test: doc test_c
18test_c:
19 $(MAKE) -C test IDRIS=../dist/build/idris
21test_java:
22 $(MAKE) -C test IDRIS=../dist/build/idris test_java
24test_llvm:
25 $(MAKE) -C test IDRIS=../dist/build/idris test_llvm
27test_js:
28 $(MAKE) -C test IDRIS=../dist/build/idris test_js
30test_all:
31 $(MAKE) test
32 $(MAKE) test_llvm
33 $(MAKE) test_java
35lib_clean:
36 $(MAKE) -C libs IDRIS=../../dist/build/idris/idris RTS=../../dist/build/rts/libidris_rts clean
38relib: lib_clean
39 $(CABAL) install $(CABALFLAGS)
41linecount:
42 wc -l src/Idris/*.hs src/Idris/Core/*.hs src/IRTS/*.hs src/Pkg/*.hs
44#Note: this doesn't yet link to Hackage properly
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"
48lib_doc:
49 $(MAKE) -C libs IDRIS=../../dist/build/idris/idris doc
51lib_doc_clean:
52 $(MAKE) -C libs IDRIS=../../dist/build/idris/idris doc_clean
54dist/setup-config:
55 $(CABAL) configure $(CABALFLAGS)