diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2023-08-14 11:26:20 +0200 |
|---|---|---|
| committer | Todd Gamblin <tgamblin@llnl.gov> | 2023-08-15 15:54:37 -0700 |
| commit | b95a9d2e476ace67ce3a31d4ef8a9ada7bd8432f (patch) | |
| tree | 336e8401cc14e1a1b3d723f63ca1135decddc2db /lib | |
| parent | def4d19980cefe6a19cf53986077f73e042be5cb (diff) | |
| download | spack-b95a9d2e476ace67ce3a31d4ef8a9ada7bd8432f.tar.gz spack-b95a9d2e476ace67ce3a31d4ef8a9ada7bd8432f.tar.bz2 spack-b95a9d2e476ace67ce3a31d4ef8a9ada7bd8432f.tar.xz spack-b95a9d2e476ace67ce3a31d4ef8a9ada7bd8432f.zip | |
Reduce line length in lp file
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/spack/spack/solver/concretize.lp | 14 |
1 files 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. |