etc

ejconlon · Sep 11, 2024 · 0270a57 · 0270a57
1 parent e298d26
commit 0270a57
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/bin/minipat b/bin/minipat
@@ -36,8 +36,11 @@ if [ $# -ne 0 ]; then
   exit 1
 fi
 
+# Ensure absolute path for GHCi script
+SCRIPT="$(realpath "${SCRIPT}")"
+
 set -x
 
 stack build --fast "minipat-${BACKEND}"
 
-exec stack exec -- ghci -package "minipat-${BACKEND}" -ghci-script "${SCRIPT}"
+exec stack ghci --ghci-options "-ghci-script=\"${SCRIPT}\"" "minipat-${BACKEND}"