Makefile

.PHONY: build configure doc install linecount nodefault pinstall lib_clean relib fast test_js test_c stylize test test_clean lib_doc lib_doc_clean user_doc_html user_doc_pdf user_docs

ARGS=
TEST-JOBS=
TEST-ARGS=

include config.mk
-include custom.mk

ifdef CI
CABALFLAGS += -f CI
ifndef APPVEYOR
TEST-ARGS += --color always
endif
endif

install:
	$(CABAL) v1-install $(CABALFLAGS)

pinstall: CABALFLAGS += --enable-executable-profiling
pinstall: dist/setup-config
	$(CABAL) v1-install $(CABALFLAGS)

build: dist/setup-config
	$(CABAL) v1-build $(CABALFLAGS)

test: doc test_c stylize

stylize:
	./stylize.sh

test_c:
	$(CABAL) v1-test $(ARGS) --test-options \
		"$(TEST-ARGS) --rerun-update +RTS -N$(TEST-JOBS) -RTS"

test_js:
	$(CABAL) v1-test $(ARGS) --test-options \
		"$(TEST-ARGS) --node --rerun-update +RTS -N$(TEST-JOBS) -RTS"

test_update:
	$(CABAL) v1-test $(ARGS) --test-options \
		"$(TEST-ARGS) --accept +RTS -N$(TEST-JOBS) -RTS"

test_clean:
	rm -f test/*~
	rm -f test/*/output

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

relib: lib_clean
	$(CABAL) v1-install $(CABALFLAGS)

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

#Note: this doesn't yet link to Hackage properly
doc: dist/setup-config
	$(CABAL) v1-haddock --hyperlink-source --html --hoogle --html-location="https://hackage.haskell.org/packages/archive/\$$pkg/latest/doc/html" --haddock-options="--title Idris"

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

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

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

fast:
	$(CABAL) v1-install $(CABALFLAGS) --ghc-option=-O0

dist/setup-config:
	$(CABAL) v1-configure $(CABALFLAGS)