diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2023-01-23 12:07:21 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2023-01-23 12:48:49 -0800 |
| commit | 80c045fb025328385d3c370ff613e1e7b5ba4d1a (patch) | |
| tree | a1e7c48a79f911ad8f05addfa6f91962aa180de5 /Makefile | |
| parent | b1e4a9eecf6e49ae6792eb528617da754d3950e3 (diff) | |
Makefile: use -f-export-dynamic in CABALOPTS
This is helpful when building in nix shell.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -13,7 +13,7 @@ else BASELINECMD=--baseline $(BASELINE) endif GHCOPTS=-fwrite-ide-info -fdiagnostics-color=always -j4 +RTS -A8m -RTS -CABALOPTS?=--disable-optimization +CABALOPTS?=--disable-optimization -f-export-dynamic WEBSITE=../../web/pandoc.org REVISION?=1 BENCHARGS?=--csv bench_$(TIMESTAMP).csv $(BASELINECMD) --timeout=6 +RTS -T --nonmoving-gc -RTS $(if $(PATTERN),--pattern "$(PATTERN)",) |