From 6e31430bec0d72169ec6844abda96894b4b143be Mon Sep 17 00:00:00 2001 From: Todd Gamblin Date: Sun, 6 Oct 2019 15:28:35 -0700 Subject: concretizer: add another definition pragma. - single_value_variant may not be defined by the generated program. Mark it to avoid warnings. --- lib/spack/spack/solver/concretize.lp | 1 + 1 file changed, 1 insertion(+) 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 -- cgit v1.2.3-70-g09d2