diff options
| author | Todd Gamblin <tgamblin@llnl.gov> | 2020-01-02 20:04:31 -0800 |
|---|---|---|
| committer | Todd Gamblin <tgamblin@llnl.gov> | 2020-11-17 10:04:13 -0800 |
| commit | 810542d4fe3d134e67d63a00b0ae4ce35bd47fb6 (patch) | |
| tree | 84e39d4cfad56d180dbf38685a9d0d72aea32a37 | |
| parent | 9b1f05df009123ae03b2a9c7971a06e148c4e56c (diff) | |
| download | spack-810542d4fe3d134e67d63a00b0ae4ce35bd47fb6.tar.gz spack-810542d4fe3d134e67d63a00b0ae4ce35bd47fb6.tar.bz2 spack-810542d4fe3d134e67d63a00b0ae4ce35bd47fb6.tar.xz spack-810542d4fe3d134e67d63a00b0ae4ce35bd47fb6.zip | |
concretizer bugfix: all variants need possible values
Variants like `cpu_target` on `openblas` don't have defineed values, but
they have a default. Ensure that the default is always a possible value
for the solver.
| -rw-r--r-- | lib/spack/spack/solver/asp.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/spack/spack/solver/asp.py b/lib/spack/spack/solver/asp.py index 7701f38620..eec0e01eca 100644 --- a/lib/spack/spack/solver/asp.py +++ b/lib/spack/spack/solver/asp.py @@ -354,6 +354,10 @@ class AspGenerator(object): union.update(s) values = union + # make sure that every variant has at least one posisble value + if not values: + values = [variant.default] + for value in sorted(values): self.fact(fn.variant_possible_value(pkg.name, name, value)) |