summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorTodd Gamblin <tgamblin@llnl.gov>2020-12-13 17:17:26 -0800
committerTamara Dahlgren <dahlgren1@llnl.gov>2021-02-17 17:07:28 -0800
commitd0dfd3cb821a996085a6701093c48fa56933579f (patch)
tree76d9173e9b59d74031ffaf656ef6bb3c27680820 /lib
parenta4066a52be6efa1f28b39eab4450f2b4f1136baa (diff)
downloadspack-d0dfd3cb821a996085a6701093c48fa56933579f.tar.gz
spack-d0dfd3cb821a996085a6701093c48fa56933579f.tar.bz2
spack-d0dfd3cb821a996085a6701093c48fa56933579f.tar.xz
spack-d0dfd3cb821a996085a6701093c48fa56933579f.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.
Diffstat (limited to 'lib')
-rw-r--r--lib/spack/spack/solver/concretize.lp2
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.
%-----------------------------------------------------------------------------