aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2021-03-12 19:12:20 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2021-03-13 11:58:31 -0800
commit9bd36b03e97840b2d8ebd8b69d44f898c11d0812 (patch)
tree59f0b775e3c6ce5eefa13b7469d28550afb26f2c /Makefile
parent3519d6f3b468e394473d0c3deb3f2e84b154f2ed (diff)
downloadpandoc-9bd36b03e97840b2d8ebd8b69d44f898c11d0812.tar.gz
Add ghcid-test to Makefile
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index af5b755cc..e37094d4c 100644
--- a/Makefile
+++ b/Makefile
@@ -47,6 +47,9 @@ test:
ghcid:
ghcid -c "stack repl --flag 'pandoc:embed_data_files'"
+ghcid-test:
+ ghcid -c "stack repl --ghc-options=-XNoImplicitPrelude --flag 'pandoc:embed_data_files' --ghci-options=-fobject-code pandoc:lib pandoc:test-pandoc"
+
bench:
stack bench --benchmark-arguments='$(BENCHARGS) $(BASELINE) --csv bench_$(TIMESTAMP).csv' --ghc-options '$(GHCOPTS)'