diff options
Diffstat (limited to 'hadrian/ghci-cabal')
-rwxr-xr-x | hadrian/ghci-cabal | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/hadrian/ghci-cabal b/hadrian/ghci-cabal new file mode 100755 index 0000000000..93343e4e28 --- /dev/null +++ b/hadrian/ghci-cabal @@ -0,0 +1,6 @@ +#!/usr/bin/env sh + +set -e + +GHC_FLAGS="$GHC_FLAGS $(TERM=dumb CABFLAGS=-v0 "hadrian/build-cabal" tool-args -q --build-root=.hadrian_ghci --flavour=ghc-in-ghci "$@")" +ghci $GHC_FLAGS "$@" -fno-code -fwrite-interface -hidir=.hadrian_ghci/interface -O0 ghc/Main.hs +RTS -A128m |