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