zhangyiss/spack
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Avoid spurious warning from clingo (#21731)

Browse Source 
There's a spurious warning that occurs whenever a spec being concretized 
does not depend on a virtual provider under any possible configuration.
This commit is contained in:
Massimiliano Culpo 2021-02-18 08:13:50 +01:00 committed by GitHub
parent acc7169fdc
commit 8aaf31b166
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
lib/spack/spack/solver/concretize.lp
View File

@ -227,6 +227,7 @@ provider_weight(Package, 100)
provider(Package, Virtual), provider(Package, Virtual),
not default_provider_preference(Virtual, Package, _). not default_provider_preference(Virtual, Package, _).
#defined possible_provider/2.
#defined provider_condition/3. #defined provider_condition/3.
#defined required_provider_condition/3. #defined required_provider_condition/3.
#defined required_provider_condition/4. #defined required_provider_condition/4.