diff options
Diffstat (limited to 'testsuite/config')
| -rw-r--r-- | testsuite/config/ghc | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/testsuite/config/ghc b/testsuite/config/ghc index aa6b047f3b..68d4a64979 100644 --- a/testsuite/config/ghc +++ b/testsuite/config/ghc @@ -29,7 +29,8 @@ config.other_ways = ['prof', 'normal_h', 'llvm', 'debugllvm', 'profllvm', 'profoptllvm', 'profthreadedllvm', 'debug', - 'ghci-ext'] + 'ghci-ext', + 'ext-interp'] if (ghc_with_native_codegen == 1): config.compile_ways.append('optasm') @@ -96,6 +97,7 @@ config.way_flags = { 'profoptllvm' : ['-O', '-prof', '-static', '-fprof-auto', '-fllvm'], 'profthreadedllvm' : ['-O', '-prof', '-static', '-fprof-auto', '-threaded', '-fllvm'], 'ghci-ext' : ['--interactive', '-v0', '-ignore-dot-ghci', '-fno-ghci-history', '-fexternal-interpreter', '+RTS', '-I0.1', '-RTS'], + 'ext-interp' : ['-fexternal-interpreter'], } config.way_rts_flags = { @@ -130,6 +132,7 @@ config.way_rts_flags = { 'profoptllvm' : ['-hc', '-p'], 'profthreadedllvm' : ['-p'], 'ghci-ext' : [], + 'ext-interp' : [], } # Useful classes of ways that can be used with only_ways(), omit_ways() and |