diff options
Diffstat (limited to 'hadrian/doc/user-settings.md')
| -rw-r--r-- | hadrian/doc/user-settings.md | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/hadrian/doc/user-settings.md b/hadrian/doc/user-settings.md index b6b44521cc..6b1849f479 100644 --- a/hadrian/doc/user-settings.md +++ b/hadrian/doc/user-settings.md @@ -114,6 +114,21 @@ devel2WerrorFlavour :: Flavour devel2WerrorFlavour = werror (developmentFlavour Stage2) ``` +### Linking GHC against the debugged RTS + +What was previously achieved by having `GhcDebugged=YES` in `mk/build.mk` can +be done by defining a custom flavour in the user settings file, one that +sets the `ghcDebugged` field of `Flavour` to `True`, e.g: + +``` haskell +quickDebug :: Flavour +quickDebug = quickFlavour { name = "dbg", ghcDebugged = True } +``` + +Running `build --flavour=dbg` will build a `quick`-flavoured GHC and link +GHC, iserv, iserv-proxy and remote-iserv against the debugged RTS, by passing +`-debug` to the commands that link those executables. + ## Packages Users can add and remove packages from particular build stages. As an example, |