From 6eb566a0cf43aefaf451f5885ca9b56686840a23 Mon Sep 17 00:00:00 2001
From: Xavier Denis <xldenis@gmail.com>
Date: Wed, 15 Jan 2020 14:37:54 +0100
Subject: [PATCH] Add ghc-in-ghci for stack based builds

---
 hadrian/ghci.stack.sh | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100755 hadrian/ghci.stack.sh

diff --git a/hadrian/ghci.stack.sh b/hadrian/ghci.stack.sh
new file mode 100755
index 0000000000..08fcb0ac9c
--- /dev/null
+++ b/hadrian/ghci.stack.sh
@@ -0,0 +1,6 @@
+#!/usr/bin/env sh
+
+set -e
+
+GHC_FLAGS="$GHC_FLAGS $(TERM=dumb CABFLAGS=-v0 "hadrian/build.stack.sh" tool-args -q --build-root=.hadrian_ghci --flavour=ghc-in-ghci "$@")"
+stack exec -- ghci $GHC_FLAGS "$@" -fno-code -fwrite-interface -hidir=.hadrian_ghci/interface -O0 ghc/Main.hs +RTS -A128m
-- 
GitLab