git.iko.soy/Idris-dev
on 8bbd1b5 help sign in
Idris-dev/Makefile
32 lines 750 B history raw
1include config.mk
3install: .PHONY
4 $(CABAL) install
6pinstall: .PHONY
7 $(CABAL) configure --enable-executable-profiling
8 $(CABAL) install --enable-executable-profiling
10build: .PHONY
11 $(CABAL) build
13configure: .PHONY
14 $(CABAL) configure
16test : .PHONY
17 make -C test
19relib: .PHONY
20 make -C lib IDRIS=../dist/build/idris/idris clean
21 make -C effects IDRIS=../dist/build/idris/idris clean
22 $(CABAL) install
24linecount : .PHONY
25 wc -l src/Idris/*.hs src/Core/*.hs src/IRTS/*.hs src/Pkg/*.hs
27#Note: this doesn't yet link to Hackage properly
28doc: .PHONY
29 $(CABAL) haddock --executables --hyperlink-source --html --hoogle --html-location="http://hackage.haskell.org/packages/archive/\$$pkg/latest/doc/html" --haddock-options="--title Idris"
31.PHONY: