1 files changed, 7 insertions, 0 deletions
diff --git a/ghc-shim.sh b/ghc-shim.sh
new file mode 100755
index 0000000..6885dc7
--- /dev/null
+++ b/ghc-shim.sh
@@ -0,0 +1,7 @@
+#!/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