mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-08-16 12:10:39 +03:00
83 lines
1.9 KiB
Makefile
83 lines
1.9 KiB
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)
|