Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Document new debugging features #7743

Merged
merged 3 commits into from
May 17, 2023
Merged

Document new debugging features #7743

merged 3 commits into from
May 17, 2023

Conversation

richardlford
Copy link
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
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
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 <[email protected]>
@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 <[email protected]>
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 <[email protected]>
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