From e2c4d1ccfc0ed8382954b32d6b7e1d084ee27aef Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Sun, 25 Aug 2019 15:38:17 -0700 Subject: Makefile: add ghcid target. --- Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 2d8d4fa4d..98a9e21f9 100644 --- a/Makefile +++ b/Makefile @@ -34,6 +34,9 @@ haddock: test: stack test --flag 'pandoc:embed_data_files' --fast --test-arguments='-j4 --hide-successes $(TESTARGS)' --ghc-options '$(GHCOPTS)' +ghcid: + ghcid -c "stack repl --flag 'pandoc:embed_data_files'" + bench: stack bench --benchmark-arguments='$(BENCHARGS)' --ghc-options '$(GHCOPTS)' @@ -137,4 +140,4 @@ update-website: clean: stack clean -.PHONY: deps quick full haddock install clean test bench changes_github macospkg dist prof download_stats reformat lint weigh doc/lua-filters.md packages pandoc-templates trypandoc update-website debpkg macospkg winpkg checkdocs +.PHONY: deps quick full haddock install clean test bench changes_github macospkg dist prof download_stats reformat lint weigh doc/lua-filters.md packages pandoc-templates trypandoc update-website debpkg macospkg winpkg checkdocs ghcid -- cgit v1.2.3