#!/usr/bin/env bash
if [[ $# = 1 && $1 = --print-global-package-db ]]; then
	echo /data/data/com.termux/files/home/ghc-boot-pkgdb
else
	#echo >/dev/tty "!! ghc $*"
	ghc "$@"
fi