diff --git a/hadrian/ghci-multi-cabal.in b/hadrian/ghci-multi-cabal.in index 95702a3d6d11df05a0bc3be15a523c7bd744c34d..e2d46533786a72ba319ddb1d6d6d706e30514fe7 100755 --- a/hadrian/ghci-multi-cabal.in +++ b/hadrian/ghci-multi-cabal.in @@ -1,7 +1,7 @@ #!/usr/bin/env sh RUN_GHC=@WithGhc@ -if [[ $(printf "9.4.0\n%s\n" $($RUN_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 +if [[ $(printf "9.8.1\n%s\n" $($RUN_GHC --numeric-version) | sort -uV | head -n 1) != "9.8.1" ]]; then echo "Multi-repl needs at least GHC-9.8.1"; exit 1; fi # This file is generated by configure from ghci-multi.in