@@ -20,7 +20,7 @@ BENCHARGS?=--small --time-limit=2 --match=pattern $(PATTERN)
20# BENCHARGS?=--csv bench_$(TIMESTAMP).csv --timeout=6 +RTS -T -RTS $(if $(PATTERN),--pattern "$(PATTERN)",)
20# BENCHARGS?=--csv bench_$(TIMESTAMP).csv --timeout=6 +RTS -T -RTS $(if $(PATTERN),--pattern "$(PATTERN)",)
23− stack install --ghc-options='$(GHCOPTS)' --install-ghc --flag 'pandoc:embed_data_files' --fast --test --ghc-options='-j4 +RTS -A256m -RTS' --test-arguments='-j4 --hide-successes $(TESTARGS)'
23+ stack install --ghc-options='$(GHCOPTS)' --install-ghc --flag 'pandoc:embed_data_files' --fast --test --ghc-options='$(GHCOPTS)' --test-arguments='-j4 --hide-successes $(TESTARGS)'
25quick-cabal:
25quick-cabal:
26 cabal new-configure . --ghc-options '$(GHCOPTS)' --disable-optimization --enable-tests
26 cabal new-configure . --ghc-options '$(GHCOPTS)' --disable-optimization --enable-tests