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.

Sign up for GitHub

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

Jump to bottom

Add dune-project stanza, map_workspace_root, to control workspace map… #6988

Merged
merged 2 commits into from
Feb 9, 2023
Merged

Add dune-project stanza, map_workspace_root, to control workspace map… #6988

merged 2 commits into from
Feb 9, 2023

Commits on Feb 9, 2023

  1. Add dune-project stanza, map_workspace_root, to control workspace map… 

    …ping.

Add a "map_workspace_root" stanza to the dune-project file.
If true, references to the workspace root directory in output
files are mapped to "/workspace_root". If false, such references
are not modified.
If missing, it defaults to true.

Note that in the added tests, for some configurations quotes
are needed around the "EOF" delimeter to get expansion.

Note also that when enabled, the debug search directories in the
debug information produced by ocamlc are also mapped, with
the result that ocamldebug cannot find the files.

Fixes ocaml#6929, provided user disables mapping.

Signed-off-by: Richard L Ford <richardlford@gmail.com>
Co-authored-by: Christine Rose <christinerose@users.noreply.github.com>
Co-authored-by: Etienne Millon <etienne.millon@gmail.com>
Co-authored-by: Ali Caglayan <alizter@gmail.com>
    @richardlford @christinerose
    @emillon @Alizter
    4 people committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    e70649b View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into map-workspace-root-fix

    @emillon
    emillon committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    56fe9cd View commit details
    Browse the repository at this point in the history