#!/usr/bin/env bash
thisdir="$(dirname "$0")"
if [[ $# = 1 && $1 = --print-global-package-db ]]; then
	echo "$thisdir"/ghc-boot-pkgdb
else
	#echo >/dev/tty "!! ghc $*"
	ghc "$@"
fi