summaryrefslogtreecommitdiff
path: root/debian/cabal-wrapper
diff options
context:
space:
mode:
Diffstat (limited to 'debian/cabal-wrapper')
-rwxr-xr-xdebian/cabal-wrapper20
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 "$@"