From 0270a579c2b1520bdfccb1a95a11675b06c8df53 Mon Sep 17 00:00:00 2001 From: Eric Conlon <37287+ejconlon@users.noreply.github.com> Date: Wed, 11 Sep 2024 14:49:13 -0700 Subject: [PATCH] etc --- bin/minipat | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/bin/minipat b/bin/minipat index 021c096..98eb19b 100755 --- 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}"