diff options
author | Matthew Pickering <matthewtpickering@gmail.com> | 2022-02-17 10:20:25 +0000 |
---|---|---|
committer | Matthew Pickering <matthewtpickering@gmail.com> | 2022-06-01 10:32:02 +0100 |
commit | 7e470cd6e07d840b032b5249dceb061a4d590fee (patch) | |
tree | 6bcf23933733e0842f9f0eed6d2cfd7f326804c7 /hadrian/ghci-stack.in | |
parent | 15d42a7a1287b0466ea97bedf71f4a0b161b17b4 (diff) | |
download | haskell-wip/tool-args.tar.gz |
hadrian/tool-args: Write output to intermediate file rather than via stdoutwip/tool-args
This allows us to see the output of hadrian while it is doing the setup.
Diffstat (limited to 'hadrian/ghci-stack.in')
-rwxr-xr-x | hadrian/ghci-stack.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/hadrian/ghci-stack.in b/hadrian/ghci-stack.in index ef95552b64..12f3888205 100755 --- a/hadrian/ghci-stack.in +++ b/hadrian/ghci-stack.in @@ -4,6 +4,9 @@ set -e +export TOOL_OUTPUT=.hadrian_ghci/ghci_args +TERM=dumb CABFLAGS=-v0 "hadrian/build-cabal" tool:compiler/GHC.hs -q --build-root=.hadrian_ghci --flavour=ghc-in-ghci $HADRIAN_ARGS + # Replace newlines with spaces, as these otherwise break the ghci invocation on windows. -GHC_FLAGS="$GHC_FLAGS $(TERM=dumb CABFLAGS=-v0 "hadrian/build-stack" tool-args -q --build-root=.hadrian_ghci --flavour=ghc-in-ghci $HADRIAN_ARGS | tr '\n\r' ' ')" +GHC_FLAGS="$GHC_FLAGS $(cat $TOOL_OUTPUT | tr '\n\r' ' ')" stack exec -- @WithGhc@ --interactive $GHC_FLAGS "$@" -fno-code -fwrite-interface -hidir=.hadrian_ghci/interface -O0 +RTS -A128m |