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

bugfix: computing NodeID2 in requirement node_flag_source (#40846)

Browse source
This commit is contained in:
Greg Becker 2023-11-02 12:17:54 -07:00 committed by GitHub
parent c2193b5470
commit fa08de669e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -720,7 +720,7 @@ requirement_group_satisfied(node(ID, Package), X) :-
activate_requirement(node(NodeID1, Package1), RequirementID),
pkg_fact(Package1, condition_effect(ConditionID, EffectID)),
imposed_constraint(EffectID, "node_flag_source", Package1, FlagType, Package2),
imposed_packages(NodeID2, Package2).
imposed_nodes(EffectID, node(NodeID2, Package2), node(NodeID1, Package1)).
requirement_weight(node(ID, Package), Group, W) :-
W = #min {