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

Package conflicts are ignored when dune-projects contains multiple conflicts #11265

Open
gridbugs opened this issue Jan 2, 2025 · 0 comments

Comments

@gridbugs
Copy link
Collaborator

gridbugs commented Jan 2, 2025

For example, if you have a dune-project with a single conflict it will be respected:

(lang dune 3.17)
(package
 (name foo)
 (depends bar)
 (conflicts bar))

Dune is unable to find a solution for the above package because it both depends on and conflicts with the package bar. However if we add an additional conflict dune will be able to find a solution:

(lang dune 3.17)
(package
 (name foo)
 (depends bar)
 (conflicts bar baz))

Dune will now happily choose bar as part of the package solution despite it appearing in conflicts. Note that if bar is repeated in conflicts rather than introducing a new conflicting package (ie. (conflicts bar bar)) then dune works as expected.

Repro: #11266

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant