diff options
Diffstat (limited to 'debian/cabal-wrapper')
-rwxr-xr-x | debian/cabal-wrapper | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/debian/cabal-wrapper b/debian/cabal-wrapper deleted file mode 100755 index 1326aead7..000000000 --- a/debian/cabal-wrapper +++ /dev/null @@ -1,20 +0,0 @@ -#!/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 - -# Temporary workaround for #763078 -PATH=/usr/lib/llvm-3.4/bin:$PATH -export PATH - -cabal "$@" |