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

concretizer bugfix: *at most* one provider for any virtual

Browse Source
This commit is contained in:
Todd Gamblin 2020-01-02 19:48:00 -08:00
parent 04295f6531
commit e31be3da56
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -33,9 +33,9 @@ depends_on(P, D, T) :- declared_dependency(P, D, T), not virtual(D), node(P).
1 { depends_on(P, Q, T) : provides_virtual(Q, V) } 1 1 { depends_on(P, Q, T) : provides_virtual(Q, V) } 1
:- declared_dependency(P, V, T), virtual(V), node(P). :- declared_dependency(P, V, T), virtual(V), node(P).
% for any virtual, there can only be one node providing it in the DAG % for any virtual, there can be at most one provider in the DAG
provider(P, V) :- node(P), provides_virtual(P, V). provider(P, V) :- node(P), provides_virtual(P, V).
1 { provider(P, V) : node(P) } 1 :- virtual(V). 0 { provider(P, V) : node(P) } 1 :- virtual(V).
% give dependents the virtuals they want % give dependents the virtuals they want
provider_weight(D, N) provider_weight(D, N)