Makefile · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Idris-dev/Makefile

65 lines 1.6 kB history raw

1.PHONY: build configure doc install linecount nodefault pinstall lib_clean relib fast 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/idris test

25test_js:

26 $(MAKE) -C test IDRIS=../dist/build/idris/idris test_js

28test_timed:

29 $(MAKE) -C test IDRIS=../dist/build/idris/idris time

31lib_clean:

32 $(MAKE) -C libs IDRIS=../../dist/build/idris/idris RTS=../../dist/build/rts/libidris_rts clean

34relib: lib_clean

35 $(CABAL) install $(CABALFLAGS)

37linecount:

38 wc -l src/Idris/*.hs src/Idris/Elab/*.hs src/Idris/Core/*.hs src/IRTS/*.hs src/Pkg/*.hs src/Util/*.hs

40#Note: this doesn't yet link to Hackage properly

41doc: dist/setup-config

42 $(CABAL) haddock --hyperlink-source --html --hoogle --html-location="http://hackage.haskell.org/packages/archive/\$$pkg/latest/doc/html" --haddock-options="--title Idris"

44lib_doc:

45 $(MAKE) -C libs IDRIS=../../dist/build/idris/idris doc

47lib_doc_clean:

48 $(MAKE) -C libs IDRIS=../../dist/build/idris/idris doc_clean

50user_docs: user_doc_html user_doc_pdf

52user_doc_clean:

53 $(MAKE) -C docs clean

55user_doc_html:

56 $(MAKE) -C docs html

58user_doc_pdf:

59 $(MAKE) -C docs latexpdf

61fast:

62 $(CABAL) install $(CABALFLAGS) --ghc-option=-O0

64dist/setup-config:

65 $(CABAL) configure $(CABALFLAGS)