diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2024-07-17 20:10:00 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-07-17 11:10:00 -0700 |
| commit | 9ae1014e552ea6ccb37770f535bb0901e8c467e9 (patch) | |
| tree | 09adc0ba3a770b4b15ac3ff26847f4cdae758868 | |
| parent | 813c0dd031733fdf36099c0b08a18277c04f6256 (diff) | |
| download | spack-9ae1014e552ea6ccb37770f535bb0901e8c467e9.tar.gz spack-9ae1014e552ea6ccb37770f535bb0901e8c467e9.tar.bz2 spack-9ae1014e552ea6ccb37770f535bb0901e8c467e9.tar.xz spack-9ae1014e552ea6ccb37770f535bb0901e8c467e9.zip | |
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
| -rw-r--r-- | lib/spack/spack/solver/concretize.lp | 3 |
1 files changed, 3 insertions, 0 deletions
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", |