zhangyiss/spack
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Reduce line length in lp file

Browse Source
This commit is contained in:
Massimiliano Culpo 2023-08-14 11:26:20 +02:00 committed by Todd Gamblin
parent def4d19980
commit b95a9d2e47
1 changed files with 11 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
lib/spack/spack/solver/concretize.lp
View File

@ -68,9 +68,17 @@ unification_set("generic_build", node(X, Child))
not multiple_unification_sets(Child), not multiple_unification_sets(Child),
unification_set(_, ParentNode). unification_set(_, ParentNode).
% Any dependency of type "build" in a unification set that is not "root", stays in that unification set % Any dependency of type "build" in a unification set that is in the leaf unification set,
unification_set(SetID, ChildNode) :- attr("depends_on", ParentNode, ChildNode, Type), Type == "build", SetID == "generic_build", unification_set(SetID, ParentNode). % stays in that unification set
unification_set(SetID, VirtualNode) :- provider(PackageNode, VirtualNode), unification_set(SetID, PackageNode). 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. #defined multiple_unification_sets/1.