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

concretizer: targets are inherited like compilers

Browse Source
This commit is contained in:
Todd Gamblin 2020-04-19 00:16:15 -07:00
parent afa74ea155
commit cb919c2e39
1 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -193,6 +193,14 @@ node_target(Package, Target)
node_target_weight(Package, Weight) node_target_weight(Package, Weight)
:- node(Package), node_target(Package, Target), target_weight(Target, Weight). :- node(Package), node_target(Package, Target), target_weight(Target, Weight).
% compatibility rules for targets among nodes
node_target_match_pref(Package, Target) :- node_target_set(Package, Target).
node_target_match_pref(Dependency, Target)
:- depends_on(Package, Dependency), node_target_match_pref(Package, Target),
not node_target_set(Dependency, _).
node_target_match(Package, 1)
:- node_target(Package, Target), node_target_match_pref(Package, Target).
#defined node_target_set/2. #defined node_target_set/2.
%----------------------------------------------------------------------------- %-----------------------------------------------------------------------------
@ -346,4 +354,5 @@ root(Dependency, 1) :- not root(Dependency), node(Dependency).
% TODO: if these are slightly different by compiler (e.g., skylake is % TODO: if these are slightly different by compiler (e.g., skylake is
% best, gcc supports skylake and broadweell, clang's best is haswell) % best, gcc supports skylake and broadweell, clang's best is haswell)
% things seem to get really slow. % things seem to get really slow.
#minimize{ Weight@5,Package : node_target_weight(Package, Weight) }. #maximize{ Weight@5,Package : node_target_match(Package, Weight) }.
#minimize{ Weight@4,Package : node_target_weight(Package, Weight) }.