Skip to content

concretizer: dependency conditions cannot hold if package is external#20790

Merged
tgamblin merged 2 commits intospack:developfrom
alalazo:fixes/clingo_dependency_holds_and_externals
Jan 13, 2021
Merged

concretizer: dependency conditions cannot hold if package is external#20790
tgamblin merged 2 commits intospack:developfrom
alalazo:fixes/clingo_dependency_holds_and_externals

Conversation

@alalazo
Copy link
Copy Markdown
Member

@alalazo alalazo commented Jan 12, 2021

fixes #20736

Before this one line fix we were erroneously deducing that dependency conditions hold even if a package was external. This may result in answer sets that contain imposed conditions on a node without the node being present in the DAG, hence #20736.

fixes spack#20736

Before this one line fix we were erroneously deducing
that dependency conditions hold even if a package
was external.

This may result in answer sets that contain imposed
conditions on a node without the node being present
in the DAG, hence spack#20736.
… holds

fixes spack#20784

Similarly to the previous bug, here we were deducing
conditions to be imposed on nodes that were not part
of the DAG.
@alalazo alalazo requested a review from tgamblin January 12, 2021 15:00
@tgamblin tgamblin merged commit 0bd76ac into spack:develop Jan 13, 2021
@alalazo alalazo deleted the fixes/clingo_dependency_holds_and_externals branch January 13, 2021 07:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bugfix Something wasn't working, here's a fix concretization

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Clingo concretizer regression

3 participants