16 lines
485 B
Bash
Executable file
16 lines
485 B
Bash
Executable file
#!/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 "$@"
|