Skip to content

Document new debugging features#7743

Merged
emillon merged 3 commits intoocaml:mainfrom
richardlford:bppm-doc
May 17, 2023
Merged

Document new debugging features#7743
emillon merged 3 commits intoocaml:mainfrom
richardlford:bppm-doc

Conversation

@richardlford
Copy link
Copy Markdown
Contributor

This PR documents that users need to have a source layout that mirrors the installation layout if they want to be able to debug installed libraries with the bytecode debugger.

@Alizter Alizter added the docs Documentation improvements label May 16, 2023
@Alizter Alizter added this to the 3.8.0 milestone May 16, 2023
@Alizter
Copy link
Copy Markdown
Collaborator

Alizter commented May 16, 2023

@emillon I've marked this for 3.8 since it is documenting a 3.8 feature. We can discuss it at the meeting tomorrow.

@emillon
Copy link
Copy Markdown
Collaborator

emillon commented May 17, 2023

Thanks. I fixed the markup and consolidated the changelog at the end.

richardlford and others added 2 commits May 17, 2023 11:57
This PR documents that users need to have a
source layout that mirrors the installation
layout if they want to be able to debug
installed libraries with the bytecode
debugger.

Signed-off-by: Richard L Ford <richardlford@gmail.com>
Signed-off-by: Etienne Millon <me@emillon.org>
@emillon emillon enabled auto-merge (squash) May 17, 2023 09:59
@emillon emillon merged commit fbcbddf into ocaml:main May 17, 2023
emillon added a commit to emillon/dune that referenced this pull request May 22, 2023
Change the documentation for `(map_workspace_root)` so that it matches
the existing situation.

See ocaml#7743 which had been incorrectly merged.

Signed-off-by: Etienne Millon <me@emillon.org>
emillon added a commit that referenced this pull request May 22, 2023
Change the documentation for `(map_workspace_root)` so that it matches
the existing situation.

See #7743 which had been incorrectly merged.

Signed-off-by: Etienne Millon <me@emillon.org>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

docs Documentation improvements

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants