diff options
| author | sheaf <sam.derbyshire@gmail.com> | 2022-03-23 12:13:52 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-03-29 13:08:05 -0400 |
| commit | ad09a5f7671c5594524c517945b2bdd7c5e2c8fa (patch) | |
| tree | a4224dc81eaf39f8f963c4aac012bec1332fe5a8 /hadrian/doc | |
| parent | 967dad03566c754ce88388e61678b70eddfee528 (diff) | |
| download | haskell-ad09a5f7671c5594524c517945b2bdd7c5e2c8fa.tar.gz | |
Hadrian: make DDEBUG separate from debugged RTS
This patchs separates whether -DDEBUG is enabled (i.e. whether debug
assertions are enabled) from whether we are using the debugged RTS
(i.e. GhcDebugged = YES).
This means that we properly skip tests which have been marked with
`when(compiler_debugged(), skip)`.
Fixes #21113, #21153 and #21234
Diffstat (limited to 'hadrian/doc')
| -rw-r--r-- | hadrian/doc/user-settings.md | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/hadrian/doc/user-settings.md b/hadrian/doc/user-settings.md index 5b6c5ca65a..0cc7807755 100644 --- a/hadrian/doc/user-settings.md +++ b/hadrian/doc/user-settings.md @@ -35,8 +35,10 @@ data Flavour = Flavour { ghciWithDebugger :: Bool, -- | Build profiled GHC. ghcProfiled :: Bool, - -- | Build GHC with debug information. - ghcDebugged :: Bool + -- | Build GHC with the debug RTS. + ghcDebugged :: Bool, + -- | Build GHC with debug assertions. + ghcDebugAssertions :: Bool, -- | Build the GHC executable against the threaded runtime system. ghcThreaded :: Bool, -- | Whether to build docs and which ones |