diff options
Diffstat (limited to 'hadrian/ghci-multi-cabal.in')
| -rwxr-xr-x | hadrian/ghci-multi-cabal.in | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/hadrian/ghci-multi-cabal.in b/hadrian/ghci-multi-cabal.in new file mode 100755 index 0000000000..525f5987a4 --- /dev/null +++ b/hadrian/ghci-multi-cabal.in @@ -0,0 +1,13 @@ +#!/usr/bin/env sh + +GHC=@WithGhc@ +if [[ $(printf "9.4.0\n%s\n" $($GHC --numeric-version) | sort -uV | head -n 1) != "9.4.0" ]]; then echo "Multi-repl needs at least GHC-9.4.1"; exit 1; fi + +# This file is generated by configure from ghci-multi.in + +set -e +export TOOL_OUTPUT=.hadrian_ghci_multi/ghci_args +# Replace newlines with spaces, as these otherwise break the ghci invocation on windows. +CABFLAGS=-v0 "hadrian/build-cabal" multi:ghc --build-root=.hadrian_ghci_multi --flavour=ghc-in-ghci $HADRIAN_ARGS +GHC_FLAGS="$GHC_FLAGS $(cat $TOOL_OUTPUT | tr '\n\r' ' ')" +$GHC --interactive $GHC_FLAGS $@ -fno-code -fwrite-interface -hidir=.hadrian_ghci_multi/interface -O0 +RTS -A128m |