diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2021-02-18 08:13:50 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-18 08:13:50 +0100 |
| commit | 8aaf31b1661f78e77a8e788f761fa88655e23c14 (patch) | |
| tree | 03d6ee6c51306363ede74e5eaed6f4593b9bc349 | |
| parent | acc7169fdced1aee243110594a6ea4684a9c2ac0 (diff) | |
| download | spack-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.lp | 1 |
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. |