summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorTodd Gamblin <tgamblin@llnl.gov>2019-10-06 15:28:35 -0700
committerTodd Gamblin <tgamblin@llnl.gov>2020-11-17 10:04:13 -0800
commit6e31430bec0d72169ec6844abda96894b4b143be (patch)
tree0b7b5b57cb87d70bf0858013fc2fb86e8c8581f7 /lib
parenta81258663c35774d51c53879410daca2ebe82214 (diff)
downloadspack-6e31430bec0d72169ec6844abda96894b4b143be.tar.gz
spack-6e31430bec0d72169ec6844abda96894b4b143be.tar.bz2
spack-6e31430bec0d72169ec6844abda96894b4b143be.tar.xz
spack-6e31430bec0d72169ec6844abda96894b4b143be.zip
concretizer: add another definition pragma.
- single_value_variant may not be defined by the generated program. Mark it to avoid warnings.
Diffstat (limited to 'lib')
-rw-r--r--lib/spack/spack/solver/concretize.lp1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/spack/spack/solver/concretize.lp b/lib/spack/spack/solver/concretize.lp
index bd6a6a932a..dc7c28f7c3 100644
--- a/lib/spack/spack/solver/concretize.lp
+++ b/lib/spack/spack/solver/concretize.lp
@@ -39,6 +39,7 @@ variant_set(P, V) :- variant_set(P, V, _).
% spec or some package sets it, and without this, clingo will give
% warnings like 'info: atom does not occur in any rule head'.
#defined variant_set/3.
+#defined variant_single_value/2.
% variant_set is an explicitly set variant value. If it's not 'set',
% we revert to the default value. If it is set, we force the set value