7 lines
189 B
Bash
Executable File
7 lines
189 B
Bash
Executable File
#!/bin/sh
|
|
set -eu
|
|
root=$(CDPATH= cd -- "$(dirname -- "$0")/.." && pwd)
|
|
export PATH="$root/.toolchain/bin:$root/.toolchain/ghc-bin:$PATH"
|
|
export CABAL_DIR="$root/.toolchain/cabal"
|
|
exec "$@"
|