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 /lib | |
| 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 'lib')
| -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 3a497c1d3b..48cb0f1d36 100644 --- a/lib/spack/spack/solver/concretize.lp +++ b/lib/spack/spack/solver/concretize.lp @@ -542,6 +542,7 @@ error(2, "Cannot satisfy requirement group for package '{0}'", Package) :- #defined requirement_group/2. #defined requirement_group_member/3. #defined requirement_has_weight/2. +#defined requirement_policy/3. %----------------------------------------------------------------------------- % Variant semantics |