git.iko.soy/Idris-dev
on c614366 help sign in
Idris-dev/Makefile
40 lines 1.3 kB history raw
1.PHONY: build configure doc install linecount nodefault pinstall relib test
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:
17 $(MAKE) -C test IDRIS=../dist/build/idris
19test_java:
20 $(MAKE) -C test IDRIS=../dist/build/idris test_java
22test_llvm:
23 $(MAKE) -C test IDRIS=../dist/build/idris test_llvm
25relib:
26 $(MAKE) -C lib IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts clean
27 $(MAKE) -C effects IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts DIST=../dist/build clean
28 $(MAKE) -C javascript IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts DIST=../dist/build clean
29 $(CABAL) install $(CABALFLAGS)
31linecount:
32 wc -l src/Idris/*.hs src/Core/*.hs src/IRTS/*.hs src/Pkg/*.hs
34#Note: this doesn't yet link to Hackage properly
35doc: dist/setup-config
36 $(CABAL) haddock --executables --hyperlink-source --html --hoogle --html-location="http://hackage.haskell.org/packages/archive/\$$pkg/latest/doc/html" --haddock-options="--title Idris"
39dist/setup-config:
40 $(CABAL) configure $(CABALFLAGS)