diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2021-03-16 18:04:39 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2021-03-16 18:04:39 -0700 |
| commit | 6075b17ae11e5f1670d5d6e715431c4242dfd943 (patch) | |
| tree | 53d8e68713014d1cec519253d7ad6c1717797749 /Makefile | |
| parent | 956355f8218c4cc0fd236688ab4f26de5dbb1b9c (diff) | |
| download | pandoc-6075b17ae11e5f1670d5d6e715431c4242dfd943.tar.gz | |
Makefile: add --static to quick target
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -21,7 +21,7 @@ BENCHARGS?=--small --ci=0.90 --match=pattern $(PATTERN) +RTS -T -A256m -I0 -RTS # BENCHARGS?=--csv bench_$(TIMESTAMP).csv --timeout=6 +RTS -T -A256m -I0 -RTS $(if $(PATTERN),--pattern "$(PATTERN)",) quick: - stack install --ghc-options='$(GHCOPTS)' --install-ghc --flag 'pandoc:embed_data_files' --fast --test --ghc-options='$(GHCOPTS)' --test-arguments='-j4 --hide-successes $(TESTARGS)' + stack install --ghc-options='$(GHCOPTS)' --install-ghc --flag 'pandoc:embed_data_files' --static --fast --test --ghc-options='$(GHCOPTS)' --test-arguments='-j4 --hide-successes $(TESTARGS)' quick-cabal: cabal new-configure . --ghc-options '$(GHCOPTS)' --disable-optimization --enable-tests |