2015-03-18 10:44:23 +03:00
|
|
|
.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
|
2013-03-21 20:14:37 +04:00
|
|
|
|
2012-10-29 22:56:53 +04:00
|
|
|
include config.mk
|
2013-03-21 20:14:37 +04:00
|
|
|
-include custom.mk
|
2012-10-29 22:56:53 +04:00
|
|
|
|
2015-01-04 20:04:02 +03:00
|
|
|
ifdef CI
|
|
|
|
CABALFLAGS += -f CI
|
|
|
|
endif
|
|
|
|
|
2013-03-21 20:14:37 +04:00
|
|
|
install:
|
2013-03-13 05:26:06 +04:00
|
|
|
$(CABAL) install $(CABALFLAGS)
|
2011-10-14 20:59:53 +04:00
|
|
|
|
2013-03-21 20:14:37 +04:00
|
|
|
pinstall: CABALFLAGS += --enable-executable-profiling
|
|
|
|
pinstall: dist/setup-config
|
|
|
|
$(CABAL) install $(CABALFLAGS)
|
2011-10-25 15:46:47 +04:00
|
|
|
|
2013-03-21 20:14:37 +04:00
|
|
|
build: dist/setup-config
|
2013-03-13 05:26:06 +04:00
|
|
|
$(CABAL) build $(CABALFLAGS)
|
2011-10-14 20:59:53 +04:00
|
|
|
|
2013-11-30 18:10:26 +04:00
|
|
|
test: doc test_c
|
|
|
|
|
|
|
|
test_c:
|
2013-07-31 07:44:15 +04:00
|
|
|
$(MAKE) -C test IDRIS=../dist/build/idris
|
2011-10-14 20:59:53 +04:00
|
|
|
|
2013-07-10 00:52:57 +04:00
|
|
|
test_java:
|
2013-07-31 07:44:15 +04:00
|
|
|
$(MAKE) -C test IDRIS=../dist/build/idris test_java
|
2013-07-10 00:52:57 +04:00
|
|
|
|
2013-10-09 02:20:06 +04:00
|
|
|
test_llvm:
|
|
|
|
$(MAKE) -C test IDRIS=../dist/build/idris test_llvm
|
|
|
|
|
2014-01-30 18:41:34 +04:00
|
|
|
test_js:
|
|
|
|
$(MAKE) -C test IDRIS=../dist/build/idris test_js
|
|
|
|
|
2013-11-03 22:51:15 +04:00
|
|
|
test_all:
|
|
|
|
$(MAKE) test
|
|
|
|
$(MAKE) test_llvm
|
|
|
|
$(MAKE) test_java
|
|
|
|
|
2013-11-03 15:06:55 +04:00
|
|
|
lib_clean:
|
2013-11-20 21:38:22 +04:00
|
|
|
$(MAKE) -C libs IDRIS=../../dist/build/idris/idris RTS=../../dist/build/rts/libidris_rts clean
|
2013-11-03 15:06:55 +04:00
|
|
|
|
|
|
|
relib: lib_clean
|
2013-03-13 05:26:06 +04:00
|
|
|
$(CABAL) install $(CABALFLAGS)
|
2012-01-18 18:34:47 +04:00
|
|
|
|
2013-03-21 20:14:37 +04:00
|
|
|
linecount:
|
2014-03-08 00:57:43 +04:00
|
|
|
wc -l src/Idris/*.hs src/Idris/Core/*.hs src/IRTS/*.hs src/Pkg/*.hs
|
2011-10-14 20:59:53 +04:00
|
|
|
|
2013-02-26 14:17:12 +04:00
|
|
|
#Note: this doesn't yet link to Hackage properly
|
2013-03-21 20:14:37 +04:00
|
|
|
doc: dist/setup-config
|
2014-05-05 13:51:28 +04:00
|
|
|
$(CABAL) haddock --hyperlink-source --html --hoogle --html-location="http://hackage.haskell.org/packages/archive/\$$pkg/latest/doc/html" --haddock-options="--title Idris"
|
2013-02-26 14:17:12 +04:00
|
|
|
|
2014-05-21 14:29:59 +04:00
|
|
|
lib_doc:
|
2014-06-12 20:50:04 +04:00
|
|
|
$(MAKE) -C libs IDRIS=../../dist/build/idris/idris doc
|
2014-05-21 14:29:59 +04:00
|
|
|
|
|
|
|
lib_doc_clean:
|
2014-06-12 20:50:04 +04:00
|
|
|
$(MAKE) -C libs IDRIS=../../dist/build/idris/idris doc_clean
|
2011-10-14 20:59:53 +04:00
|
|
|
|
2015-03-18 10:44:23 +03:00
|
|
|
user_docs: user_doc_html user_doc_pdf
|
|
|
|
|
|
|
|
user_doc_clean:
|
|
|
|
$(MAKE) -C docs clean
|
|
|
|
|
|
|
|
user_doc_html:
|
|
|
|
$(MAKE) -C docs html
|
|
|
|
|
|
|
|
user_doc_pdf:
|
|
|
|
$(MAKE) -C docs latexpdf
|
|
|
|
|
2013-03-21 20:14:37 +04:00
|
|
|
dist/setup-config:
|
|
|
|
$(CABAL) configure $(CABALFLAGS)
|