From 810542d4fe3d134e67d63a00b0ae4ce35bd47fb6 Mon Sep 17 00:00:00 2001 From: Todd Gamblin Date: Thu, 2 Jan 2020 20:04:31 -0800 Subject: 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. --- lib/spack/spack/solver/asp.py | 4 ++++ 1 file changed, 4 insertions(+) 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)) -- cgit v1.2.3-70-g09d2