blob: e0623f79fb369ef86b2e79e0de7b876312f0af0a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#!/bin/sh
# It would be more usual to use:
# export CABAL=./Setup
# But Setup currently has a very bad dependency resolver, and very bad
# debugging output, and tends to eat all memory and die on small buildds.
#
# This should be revisited once Debian has a newer ghc than 7.6.3,
# and hopefully gets the improved dependency resolver from cabal.
set -e
# Avoid cabal writing to HOME, and avoid local cabal settings
# influencing the build.
HOME=$(mktemp -d)
export HOME
cabal "$@"
|
