blob: d00ad7708f1367e131e95b6fb86ba69decdbbab2 (
plain)
1
2
3
4
5
6
7
8
9
10
|
#!/usr/bin/env bash
#echo >/dev/tty "!! ghc-pkg $*"
args=()
for arg; do
if [[ $arg != --global ]]; then
args[${#args[@]}]="$arg"
fi
done
thisdir="$(dirname "$0")"
ghc-pkg --package-db "$thisdir"/ghc-boot-pkgdb "${args[@]}"
|