summaryrefslogtreecommitdiff
path: root/lib/spack/spack/solver/asp.py
diff options
context:
space:
mode:
Diffstat (limited to 'lib/spack/spack/solver/asp.py')
-rw-r--r--lib/spack/spack/solver/asp.py3
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/spack/spack/solver/asp.py b/lib/spack/spack/solver/asp.py
index b4da31c3c1..ea839e15e1 100644
--- a/lib/spack/spack/solver/asp.py
+++ b/lib/spack/spack/solver/asp.py
@@ -1877,8 +1877,9 @@ class SpackSolverSetup(object):
"""Define what version_satisfies(...) means in ASP logic."""
for pkg_name, versions in sorted(self.version_constraints):
# version must be *one* of the ones the spec allows.
+ # Also, "possible versions" contain only concrete versions, so satisfies is appropriate
allowed_versions = [
- v for v in sorted(self.possible_versions[pkg_name]) if v.intersects(versions)
+ v for v in sorted(self.possible_versions[pkg_name]) if v.satisfies(versions)
]
# This is needed to account for a variable number of