diff options
author | Joey Hess <joeyh@joeyh.name> | 2015-06-14 14:43:55 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2015-06-14 14:43:55 -0400 |
commit | 7a1adb83b0a102cc832a73c35c0b264b52cb88f5 (patch) | |
tree | 4e00e3cdaf64ef9d35d0c2f13c5982a5d599b46f /debian/cabal-wrapper | |
parent | 5176de6b51413d8a379b0c647784e09f81d279d9 (diff) |
debian/cabal-wrapper: Removed this hack which should not be needed anymore.
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 "$@" |