diff options
| author | Todd Gamblin <tgamblin@llnl.gov> | 2020-12-13 17:17:26 -0800 |
|---|---|---|
| committer | Todd Gamblin <tgamblin@llnl.gov> | 2020-12-20 07:00:46 -0800 |
| commit | 950fb0948b6f7159cfd24ada521261581585994a (patch) | |
| tree | d4f615ce17bca086feda81214dc0cc99bc37ddb9 | |
| parent | 4901728c5bb9e16756845a1e046c0e1063b0de66 (diff) | |
| download | spack-950fb0948b6f7159cfd24ada521261581585994a.tar.gz spack-950fb0948b6f7159cfd24ada521261581585994a.tar.bz2 spack-950fb0948b6f7159cfd24ada521261581585994a.tar.xz spack-950fb0948b6f7159cfd24ada521261581585994a.zip | |
concretizer: add #defined statements to avoid warnings.
`version_satisfies/2` and `node_compiler_version_satisfies/3` are
generated but need `#defined` directives to avoid " info: atom does not
occur in any rule head:" warnings.
| -rw-r--r-- | lib/spack/spack/solver/concretize.lp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/spack/spack/solver/concretize.lp b/lib/spack/spack/solver/concretize.lp index 7c94b7a8a4..0affb9f297 100644 --- a/lib/spack/spack/solver/concretize.lp +++ b/lib/spack/spack/solver/concretize.lp @@ -139,6 +139,8 @@ path(Parent, Descendant) :- path(Parent, A), depends_on(A, Descendant). #defined external_only/1. #defined pkg_provider_preference/4. #defined default_provider_preference/3. +#defined version_satisfies/2. +#defined node_compiler_version_satisfies/3. #defined root/1. %----------------------------------------------------------------------------- |