Added back debian/cabal-wrapper, since it still seems needed after all.
This commit is contained in:
parent
82c0fd7ed8
commit
098b33690e
4 changed files with 23 additions and 2 deletions
20
debian/cabal-wrapper
vendored
Executable file
20
debian/cabal-wrapper
vendored
Executable file
|
@ -0,0 +1,20 @@
|
|||
#!/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 "$@"
|
Loading…
Add table
Add a link
Reference in a new issue