diff options
| author | Peter Wortmann <scpmw@leeds.ac.uk> | 2014-12-07 01:04:05 +0100 |
|---|---|---|
| committer | Austin Seipp <austin@well-typed.com> | 2014-12-16 15:02:42 -0600 |
| commit | c63061402291ece9ba7fd460e6b95e0ab7c729df (patch) | |
| tree | 6579a35be47d7eef151ea84f1431697e4a19be0b /testsuite/config | |
| parent | f46aa7338cd0318e8cd7b3a760dd6024576e0fbb (diff) | |
| download | haskell-c63061402291ece9ba7fd460e6b95e0ab7c729df.tar.gz | |
Debug test case and test suite way
Adds a test way for debug (-g -dannot-lint) as well as a test covering
basic source tick functionality.
The debug way fails for a number of test cases because of annotation
linting: Tracing simplification (e.g. rule firings) will see
duplicated output, and sometimes expression matching might take so
long that the test case timeouts. We blacklist these tests.
(From Phabricator D169)
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 84b89d49bb..10565dd914 100644 --- a/testsuite/config/ghc +++ b/testsuite/config/ghc @@ -28,7 +28,8 @@ config.other_ways = ['prof', 'llvm', 'debugllvm', 'profllvm', 'profoptllvm', 'profthreadedllvm', 'threaded1llvm', 'threaded2llvm', - 'dynllvm'] + 'dynllvm', + 'debug'] if (ghc_with_native_codegen == 1): config.compile_ways.append('optasm') @@ -104,6 +105,7 @@ config.way_flags = lambda name : { 'prof_hr' : ['-O', '-prof', '-static', '-auto-all'], 'dyn' : ['-O', '-dynamic'], 'static' : ['-O', '-static'], + 'debug' : ['-O', '-g', '-dannot-lint'], # llvm variants... 'profllvm' : ['-prof', '-static', '-auto-all', '-fllvm'], 'profoptllvm' : ['-O', '-prof', '-static', '-auto-all', '-fllvm'], @@ -136,6 +138,7 @@ config.way_rts_flags = { 'prof_hr' : ['-hr'], 'dyn' : [], 'static' : [], + 'debug' : [], # llvm variants... 'profllvm' : ['-p'], 'profoptllvm' : ['-hc', '-p'], |