scripts/ci/steps/00-config.sh


1
2
3
4
5
6
7
8
9
10

if [ -w . ]; then
        sandbox="$PWD"/.cabal-sandbox
        sandbox_config="$PWD"/cabal.sandbox.config
else
        sandbox="$HOME"/cabal-sandbox
        sandbox_config="$HOME"/cabal.sandbox.config
fi

source_dir="$(mktemp --tmpdir -d "cabal-helper.sdistXXXXXXXXX")"
build_dir="$(mktemp --tmpdir -d "cabal-helper.distXXXXXXXXX")"