From 35a8d735cf66ac3a8867247b3f1a734af2add2ab Mon Sep 17 00:00:00 2001
From: tomsmeding <tom.smeding@gmail.com>
Date: Sat, 16 Jul 2022 23:00:09 +0200
Subject: Initial

---
 ghc-shim.sh | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 ghc-shim.sh

(limited to 'ghc-shim.sh')

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
-- 
cgit v1.2.3-70-g09d2