diff options
-rw-r--r-- | doc/tutorial/debugging.md | 12 | ||||
-rw-r--r-- | doc/tutorial/proto.md | 6 |
2 files changed, 5 insertions, 13 deletions
diff --git a/doc/tutorial/debugging.md b/doc/tutorial/debugging.md index d59f312b..eae070b6 100644 --- a/doc/tutorial/debugging.md +++ b/doc/tutorial/debugging.md @@ -75,19 +75,15 @@ need to add a new target, configured in debug mode. , "helloworld-debug": { "type": "configure" , "target": "helloworld" - , "config": - { "type": "let*" - , "bindings": [["DEBUG", true]] - , "body": {"type": "env", "vars": ["DEBUG"]} - } + , "config": {"type": "'", "$1": {"DEBUG": {"USE_DEBUG_FISSION": false}}} } ... ``` This describes the debug version of *hello-world*, configured by setting the -`"DEBUG"` flag, which in turn will instruct the updated toolchain defaults, -which now honor the `"DEBUG"` argument, to compile all actions with the `"-g"` -flag. +`"DEBUG"` map to enable regular (non-fission) debug mode, which in turn will +instruct the updated toolchain defaults, which honor the `"DEBUG"` argument, to +compile all actions with the `"-g"` flag. To actually collect the artifacts needed to run the debugger, we use the `["CC", "install-with-deps"]` rule, contained in the `rules-cc` repository. diff --git a/doc/tutorial/proto.md b/doc/tutorial/proto.md index 1eac9c13..62e084f7 100644 --- a/doc/tutorial/proto.md +++ b/doc/tutorial/proto.md @@ -560,11 +560,7 @@ in the chapter on [*Debugging*](./hello-world.md)). , "list_people debug": { "type": "configure" , "target": "list_people" - , "config": - { "type": "let*" - , "bindings": [["DEBUG", true]] - , "body": {"type": "env", "vars": ["DEBUG"]} - } + , "config": {"type": "'", "$1": {"DEBUG": {"USE_DEBUG_FISSION": false}}} } , "list_people debug staged": { "type": ["@", "rules", "CC", "install-with-deps"] |