Skip to content

Commit 217ecd7

Browse files
committed
ci: OpenBSD: Use /home partition to not run out of space
1 parent 961a82d commit 217ecd7

1 file changed

Lines changed: 5 additions & 1 deletion

File tree

.cirrus.yml

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,11 @@ task:
1818
platform: openbsd
1919
install_script: pkg_add ghc cabal-install git
2020
script:
21-
- export CABAL_DIR=/tmp/.cabal
21+
# OpenBSD image has separate /home partition, / is small
22+
# as we run everything as root, we run out space
23+
# we hack around making cabal write its stuff in /home
24+
- mkdir -p /home/cabal
25+
- ln -s /home/cabal $HOME/.cabal
2226
- cabal update
2327
# For some reason the job fails with -O2 optimization level,
2428
# probably because of lack of disk space.

0 commit comments

Comments
 (0)