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[@]}"
  |