diff options
author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2020-12-01 07:45:48 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-01 07:45:48 +0100 |
commit | 7fd777c3d93d7120c4d2ea3c13c1cd7e083181d2 (patch) | |
tree | 1f54b3af09f35475dfe6388a073099825638d5e8 /.gitignore | |
parent | 8edc831e43ef37ded67db700ac74d15d46039e4a (diff) | |
download | spack-7fd777c3d93d7120c4d2ea3c13c1cd7e083181d2.tar.gz spack-7fd777c3d93d7120c4d2ea3c13c1cd7e083181d2.tar.bz2 spack-7fd777c3d93d7120c4d2ea3c13c1cd7e083181d2.tar.xz spack-7fd777c3d93d7120c4d2ea3c13c1cd7e083181d2.zip |
concretizer: swap priority of selecting provider and default variant (#20182)
refers #20040
Before this PR optimization rules would have selected default
providers at a higher priority than default variants. Here we
swap this priority and we consider variants that are forced by
any means (root spec or spec in depends_on clause) the same as
if they were with a default value.
This prevents the solver from avoiding expected configurations
just because they contain directives like:
depends_on('pkg+foo')
and `+foo` is not the default variant value for pkg.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions