summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--lib/spack/spack/solver/asp.py6
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/spack/spack/solver/asp.py b/lib/spack/spack/solver/asp.py
index d82d93ff57..040bc23b9a 100644
--- a/lib/spack/spack/solver/asp.py
+++ b/lib/spack/spack/solver/asp.py
@@ -821,9 +821,9 @@ class SpackSolverSetup(object):
return condition_id
- def impose(self, condition_id, imposed_spec, node=True, name=None):
+ def impose(self, condition_id, imposed_spec, node=True, name=None, body=False):
imposed_constraints = self.spec_clauses(
- imposed_spec, body=False, required_from=name)
+ imposed_spec, body=body, required_from=name)
for pred in imposed_constraints:
# imposed "node"-like conditions are no-ops
if not node and pred.name in ("node", "virtual_node"):
@@ -1505,7 +1505,7 @@ class SpackSolverSetup(object):
self.gen.fact(fn.installed_hash(spec.name, h))
# this describes what constraints it imposes on the solve
- self.impose(h, spec)
+ self.impose(h, spec, body=True)
self.gen.newline()
def setup(self, driver, specs, tests=False, reuse=False):