aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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)'