Skip to content

Support constraining discretionary tools to integrate with existing lock directories #16195

Description

@shonfeder

As per requirement 3.1.2. Tool integration (I2), and complementary to #16193, when a discretionary tool must integrate with the project dependencies (e.g., because it must use the same compiler version to build), we need a way to specify and enforce those constraints. As in other related issues, we should try to reuse existing configuration idioms as much as feasible.

Metadata

Metadata

Assignees

No one assigned

    Labels

    dev toolsDune's package-management of developer tools (e.g. `dune tools install ocamlformat`)package managementDune's package management — `(pkg)` stanza, lockdirs, `dune pkg` commands

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions