diff options
| author | Xavier Denis <xldenis@gmail.com> | 2020-01-15 13:37:54 (GMT) |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-01-25 10:23:39 (GMT) |
| commit | 6eb566a0cf43aefaf451f5885ca9b56686840a23 (patch) | |
| tree | 2fd0eb24cec89b245b766d2e41bab3ea389b242e | |
| parent | 8b726534fa4764ad423eff9bdfb04305f330a00f (diff) | |
| download | ghc-6eb566a0cf43aefaf451f5885ca9b56686840a23.zip ghc-6eb566a0cf43aefaf451f5885ca9b56686840a23.tar.gz ghc-6eb566a0cf43aefaf451f5885ca9b56686840a23.tar.bz2 | |
Add ghc-in-ghci for stack based builds
| -rwxr-xr-x | hadrian/ghci.stack.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/hadrian/ghci.stack.sh b/hadrian/ghci.stack.sh new file mode 100755 index 0000000..08fcb0a --- /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 |