hlrs-software-stack/spack
7
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Run minimization of weights only on known targets (#45269)

Browse source 
This prevents excessive output from clingo of the kind:

.../spack/lib/spack/spack/solver/concretize.lp:1640:5-11: info: tuple ignored:
  #sup@2
This commit is contained in:
Massimiliano Culpo 2024-07-17 20:10:00 +02:00 committed by Harmen Stoppels
parent ea2d43b4a6
commit 4354288e44
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
lib/spack/spack/solver/concretize.lp
View file

@ -1128,8 +1128,11 @@ target_weight(Target, 0)
node_target_weight(PackageNode, MinWeight) node_target_weight(PackageNode, MinWeight)
:- attr("node", PackageNode), :- attr("node", PackageNode),
attr("node_target", PackageNode, Target), attr("node_target", PackageNode, Target),
target(Target),
MinWeight = #min { Weight : target_weight(Target, Weight) }. MinWeight = #min { Weight : target_weight(Target, Weight) }.
:- attr("node_target", PackageNode, Target), not node_target_weight(PackageNode, _).
% compatibility rules for targets among nodes % compatibility rules for targets among nodes
node_target_match(ParentNode, DependencyNode) node_target_match(ParentNode, DependencyNode)
:- attr("depends_on", ParentNode, DependencyNode, Type), Type != "build", :- attr("depends_on", ParentNode, DependencyNode, Type), Type != "build",