From 810542d4fe3d134e67d63a00b0ae4ce35bd47fb6 Mon Sep 17 00:00:00 2001 From: Todd Gamblin Date: Thu, 2 Jan 2020 20:04:31 -0800 Subject: [PATCH] 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 7701f386202..eec0e01eca6 100644 --- a/lib/spack/spack/solver/asp.py +++ b/lib/spack/spack/solver/asp.py @@ -354,6 +354,10 @@ def pkg_rules(self, pkg): 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))