diff options
Diffstat (limited to 'vendor/cabal-helper-0.8.1.2/scripts/ci/steps/00-config.sh')
| -rw-r--r-- | vendor/cabal-helper-0.8.1.2/scripts/ci/steps/00-config.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/vendor/cabal-helper-0.8.1.2/scripts/ci/steps/00-config.sh b/vendor/cabal-helper-0.8.1.2/scripts/ci/steps/00-config.sh new file mode 100644 index 0000000..eb8280a --- /dev/null +++ b/vendor/cabal-helper-0.8.1.2/scripts/ci/steps/00-config.sh @@ -0,0 +1,12 @@ +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")" + +NPROC=${NPROC:-1} |