From b95a9d2e476ace67ce3a31d4ef8a9ada7bd8432f Mon Sep 17 00:00:00 2001 From: Massimiliano Culpo Date: Mon, 14 Aug 2023 11:26:20 +0200 Subject: Reduce line length in lp file --- lib/spack/spack/solver/concretize.lp | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) diff --git a/lib/spack/spack/solver/concretize.lp b/lib/spack/spack/solver/concretize.lp index 6418403fe6..cda7b5d9d8 100644 --- a/lib/spack/spack/solver/concretize.lp +++ b/lib/spack/spack/solver/concretize.lp @@ -68,9 +68,17 @@ unification_set("generic_build", node(X, Child)) not multiple_unification_sets(Child), unification_set(_, ParentNode). -% Any dependency of type "build" in a unification set that is not "root", stays in that unification set -unification_set(SetID, ChildNode) :- attr("depends_on", ParentNode, ChildNode, Type), Type == "build", SetID == "generic_build", unification_set(SetID, ParentNode). -unification_set(SetID, VirtualNode) :- provider(PackageNode, VirtualNode), unification_set(SetID, PackageNode). +% Any dependency of type "build" in a unification set that is in the leaf unification set, +% stays in that unification set +unification_set(SetID, ChildNode) + :- attr("depends_on", ParentNode, ChildNode, Type), + Type == "build", + SetID == "generic_build", + unification_set(SetID, ParentNode). + +unification_set(SetID, VirtualNode) + :- provider(PackageNode, VirtualNode), + unification_set(SetID, PackageNode). #defined multiple_unification_sets/1. -- cgit v1.2.3-70-g09d2