@@ -18,8 +18,8 @@ CABAL_BUILD_OPTIONS="--flag limit-build-mem"
18#------------------------------------------------------------------------------
18#------------------------------------------------------------------------------
20# XXX take these from command line
20# XXX take these from command line
21−GHC_PRIME_NIX="ghc8107"
21+GHC_PRIME_NIX="ghc922"
22−GHC_PRIME_VER="8.10"
22+GHC_PRIME_VER="9.2.2"
25# Without cabal project file, it will not run any tests
25# Without cabal project file, it will not run any tests
@@ -150,24 +150,12 @@ ghc_prime_dev_perf () {
150 \"--jobs=$JOBS --flag dev $PERF_FLAGS\" --quick --raw"
150 \"--jobs=$JOBS --flag dev $PERF_FLAGS\" --quick --raw"
153−ghc_prime_c_malloc () {
155− --argstr compiler "$GHC_PRIME_NIX" \
156− --run "bin/test-runner --cabal-build-options \"--jobs=$JOBS --flag use-c-malloc\""
159ghc_prime_debug () {
153ghc_prime_debug () {
160 nix-shell \
154 nix-shell \
161 --argstr compiler "$GHC_PRIME_NIX" \
155 --argstr compiler "$GHC_PRIME_NIX" \
162 --run "bin/test-runner --cabal-build-options \"--jobs=$JOBS --flag debug\""
156 --run "bin/test-runner --cabal-build-options \"--jobs=$JOBS --flag debug\""
165−ghc_prime_streamk () {
167− --argstr compiler "$GHC_PRIME_NIX" \
168− --run "bin/test-runner --cabal-build-options \"--jobs=$JOBS --flag streamk\""
171#------------------------------------------------------------------------------
159#------------------------------------------------------------------------------
172# Other GHC versions
160# Other GHC versions
173#------------------------------------------------------------------------------
161#------------------------------------------------------------------------------
@@ -237,9 +225,7 @@ ghc_prime_O0 \
237ghc_prime_Werror \
225ghc_prime_Werror \
238ghc_prime_doctests \
226ghc_prime_doctests \
239ghc_prime_coverage \
227ghc_prime_coverage \
241ghc_prime_debug \
228ghc_prime_debug \