summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
Diffstat (limited to 'lib')
-rw-r--r--lib/spack/spack/solver/asp.py14
1 files changed, 5 insertions, 9 deletions
diff --git a/lib/spack/spack/solver/asp.py b/lib/spack/spack/solver/asp.py
index eec0e01eca..cc0616f24d 100644
--- a/lib/spack/spack/solver/asp.py
+++ b/lib/spack/spack/solver/asp.py
@@ -327,23 +327,19 @@ class AspGenerator(object):
# variants
for name, variant in sorted(pkg.variants.items()):
- self.rule(fn.variant(pkg.name, name),
- fn.node(pkg.name))
+ self.fact(fn.variant(pkg.name, name))
single_value = not variant.multi
single = fn.variant_single_value(pkg.name, name)
if single_value:
- self.rule(single, fn.node(pkg.name))
- self.rule(
- fn.variant_default_value(pkg.name, name, variant.default),
- fn.node(pkg.name))
+ self.fact(single)
+ self.fact(
+ fn.variant_default_value(pkg.name, name, variant.default))
else:
self.rule(self._not(single), fn.node(pkg.name))
defaults = variant.default.split(',')
for val in sorted(defaults):
- self.rule(
- fn.variant_default_value(pkg.name, name, val),
- fn.node(pkg.name))
+ self.fact(fn.variant_default_value(pkg.name, name, val))
values = variant.values
if values is None: