diff options
author | Todd Gamblin <tgamblin@llnl.gov> | 2022-08-16 12:47:05 -0700 |
---|---|---|
committer | Todd Gamblin <tgamblin@llnl.gov> | 2022-08-16 12:56:37 -0700 |
commit | 7e1890772cfbe1ecbf26c2a874ab95ac2d4eeef6 (patch) | |
tree | a174085ab56d0b0a6033c2842989509795479ded /bin | |
parent | 194b4213c6aa8d57eec216f04c3ff531f403afe2 (diff) | |
download | spack-7e1890772cfbe1ecbf26c2a874ab95ac2d4eeef6.tar.gz spack-7e1890772cfbe1ecbf26c2a874ab95ac2d4eeef6.tar.bz2 spack-7e1890772cfbe1ecbf26c2a874ab95ac2d4eeef6.tar.xz spack-7e1890772cfbe1ecbf26c2a874ab95ac2d4eeef6.zip |
bugfix: silence `clingo` warning about `requirement_policy/3`
`requirement_policy/3` is generated and may not be in Spack's inputs to Clingo.
Currently this is causing warnings like:
```
$ spack spec zlib
/global/u2/t/tgamblin/src/spack/lib/spack/spack/solver/concretize.lp:510:3-43: info: atom does not occur in any rule head:
requirement_policy(Package,X,"one_of")
/global/u2/t/tgamblin/src/spack/lib/spack/spack/solver/concretize.lp:517:3-43: info: atom does not occur in any rule head:
requirement_policy(Package,X,"one_of")
/global/u2/t/tgamblin/src/spack/lib/spack/spack/solver/concretize.lp:523:3-43: info: atom does not occur in any rule head:
requirement_policy(Package,X,"any_of")
/global/u2/t/tgamblin/src/spack/lib/spack/spack/solver/concretize.lp:534:3-43: info: atom does not occur in any rule head:
requirement_policy(Package,X,"any_of")
Input spec
--------------------------------
zlib
Concretized
--------------------------------
zlib@1.2.11%gcc@7.5.0+optimize+pic+shared arch=cray-sles15-haswell
```
- [x] Silence warning with `#defined requirement_policy/3`
Diffstat (limited to 'bin')
0 files changed, 0 insertions, 0 deletions