diff options
| author | John MacFarlane <[email protected]> | 2023-03-12 13:26:54 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2023-03-12 13:26:54 -0700 |
| commit | fa62239a5d38dea09cfe5cd4901231117d51810e (patch) | |
| tree | fa1fb4f1a45bb861e0390f30ecbc2715bc1a33e5 /.cirrus.yml | |
| parent | 692023cc454fe86bbcf08b27cb9601b47e324e8b (diff) | |
More cirrus fixes.
Diffstat (limited to '.cirrus.yml')
| -rw-r--r-- | .cirrus.yml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/.cirrus.yml b/.cirrus.yml index 3165c45a5..839adaaee 100644 --- a/.cirrus.yml +++ b/.cirrus.yml @@ -28,13 +28,14 @@ task: cpu: 4 memory: 12G env: - CABALOPTS: -f-export-dynamic -fembed_data_files -fserver -flua --enable-executable-static -j4 --ghc-options='-j4 +RTS -A256m -RTS -split-sections -optc-Os -optl=-pthread' + CABALOPTS: -f-export-dynamic -fembed_data_files -fserver -flua --enable-executable-static -j4 + GHCOPTS: -j4 +RTS -A256m -RTS -split-sections -optc-Os -optl=-pthread cabal_store_cache: folder: ~/.cabal/store fingerprint_key: linux_arm64_2023_03_11 deps_script: - cabal update - - cabal build --dependencies-only $CABALOPTS pandoc-cli + - cabal build --dependencies-only $CABALOPTS --ghc-options="$GHCOPTS" pandoc-cli upload_caches: - cabal_store package_script: |