From 9ae1014e552ea6ccb37770f535bb0901e8c467e9 Mon Sep 17 00:00:00 2001 From: Massimiliano Culpo Date: Wed, 17 Jul 2024 20:10:00 +0200 Subject: Run minimization of weights only on known targets (#45269) This prevents excessive output from clingo of the kind: .../spack/lib/spack/spack/solver/concretize.lp:1640:5-11: info: tuple ignored: #sup@2 --- lib/spack/spack/solver/concretize.lp | 3 +++ 1 file changed, 3 insertions(+) diff --git a/lib/spack/spack/solver/concretize.lp b/lib/spack/spack/solver/concretize.lp index 595efb1f19..ccbe6ed29b 100644 --- a/lib/spack/spack/solver/concretize.lp +++ b/lib/spack/spack/solver/concretize.lp @@ -1155,8 +1155,11 @@ target_weight(Target, 0) node_target_weight(PackageNode, MinWeight) :- attr("node", PackageNode), attr("node_target", PackageNode, Target), + target(Target), MinWeight = #min { Weight : target_weight(Target, Weight) }. +:- attr("node_target", PackageNode, Target), not node_target_weight(PackageNode, _). + % compatibility rules for targets among nodes node_target_match(ParentNode, DependencyNode) :- attr("depends_on", ParentNode, DependencyNode, Type), Type != "build", -- cgit v1.2.3-70-g09d2