summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMassimiliano Culpo <massimiliano.culpo@gmail.com>2021-02-18 08:13:50 +0100
committerGitHub <noreply@github.com>2021-02-18 08:13:50 +0100
commit8aaf31b1661f78e77a8e788f761fa88655e23c14 (patch)
tree03d6ee6c51306363ede74e5eaed6f4593b9bc349
parentacc7169fdced1aee243110594a6ea4684a9c2ac0 (diff)
downloadspack-8aaf31b1661f78e77a8e788f761fa88655e23c14.tar.gz
spack-8aaf31b1661f78e77a8e788f761fa88655e23c14.tar.bz2
spack-8aaf31b1661f78e77a8e788f761fa88655e23c14.tar.xz
spack-8aaf31b1661f78e77a8e788f761fa88655e23c14.zip
Avoid spurious warning from clingo (#21731)
There's a spurious warning that occurs whenever a spec being concretized does not depend on a virtual provider under any possible configuration.
-rw-r--r--lib/spack/spack/solver/concretize.lp1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/spack/spack/solver/concretize.lp b/lib/spack/spack/solver/concretize.lp
index d706663aaa..22ba77142a 100644
--- a/lib/spack/spack/solver/concretize.lp
+++ b/lib/spack/spack/solver/concretize.lp
@@ -227,6 +227,7 @@ provider_weight(Package, 100)
provider(Package, Virtual),
not default_provider_preference(Virtual, Package, _).
+#defined possible_provider/2.
#defined provider_condition/3.
#defined required_provider_condition/3.
#defined required_provider_condition/4.