diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2021-03-01 10:06:10 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2021-03-01 10:06:10 -0800 |
| commit | 26c496d93647dd589af6c07c2273801ff7b49950 (patch) | |
| tree | 47c0f4e23d8e3c8e3b5698122fa30ac3ae481bf3 /.circleci | |
| parent | 7f1b933aaacf4a01fb23fa4989f190098e96e702 (diff) | |
| download | pandoc-26c496d93647dd589af6c07c2273801ff7b49950.tar.gz | |
Use -split-sections in creating release binary.
This is supposed to reduce executable size.
Diffstat (limited to '.circleci')
| -rw-r--r-- | .circleci/config.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index 5f569da65..1c8d9cb4a 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -20,10 +20,10 @@ jobs: command: stack --no-terminal setup - run: name: Run tests - command: stack --no-terminal test + command: stack --no-terminal test --ghc-options=-split-sections - run: name: Install executable - command: stack --no-terminal install + command: stack --no-terminal install --ghc-options=-split-sections - run: name: Create artifacts command: | |