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

WIP

Browse Source
This commit is contained in:
Todd Gamblin 2023-01-17 00:02:53 -08:00
parent b0e67d3411
commit 54087cf274
No known key found for this signature in database
GPG Key ID: C16729F1AACF66C6
1 changed files with 3 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1208,7 +1208,6 @@ opt_criterion(65, "leveled", "requirement weight").
depth(Package, D) depth(Package, D)
}. }.
% Minimize the number of deprecated versions being used
opt_criterion(60, "leveled", "deprecated versions used"). opt_criterion(60, "leveled", "deprecated versions used").
#minimize{ #minimize{
1@(60 + ((max_depth - D - 1) * depth_offset) + Priority), Package 1@(60 + ((max_depth - D - 1) * depth_offset) + Priority), Package
@ -1217,10 +1216,6 @@ opt_criterion(60, "leveled", "deprecated versions used").
depth(Package, D) depth(Package, D)
}. }.
% Minimize the:
% 1. Version weight
% 2. Number of variants with a non default value, if not set
% for the root package.
opt_criterion(55, "leveled", "version badness"). opt_criterion(55, "leveled", "version badness").
#minimize{ #minimize{
Weight@(55 + ((max_depth - D - 1) * depth_offset) + Priority), Package Weight@(55 + ((max_depth - D - 1) * depth_offset) + Priority), Package
@ -1253,7 +1248,6 @@ opt_criterion(40, "leveled", "default values of variants not being used").
depth(Package, D) depth(Package, D)
}. }.
% Try to use default variants or variants that have been set
opt_criterion(35, "leveled", "compiler mismatches (not from CLI)"). opt_criterion(35, "leveled", "compiler mismatches (not from CLI)").
#minimize{ #minimize{
1@(35 + ((max_depth - D - 1) * depth_offset) + Priority), Dependent, Package 1@(35 + ((max_depth - D - 1) * depth_offset) + Priority), Dependent, Package
@ -1270,7 +1264,6 @@ opt_criterion(30, "leveled", "compiler mismatches (from CLI)").
depth(Package, D) depth(Package, D)
}. }.
% Try to minimize the number of compiler mismatches in the DAG.
opt_criterion(25, "leveled", "OS mismatches"). opt_criterion(25, "leveled", "OS mismatches").
#minimize{ #minimize{
1@(25 + ((max_depth - D - 1) * depth_offset) + Priority), Dependent, Package 1@(25 + ((max_depth - D - 1) * depth_offset) + Priority), Dependent, Package
@ -1279,7 +1272,6 @@ opt_criterion(25, "leveled", "OS mismatches").
depth(Package, D) depth(Package, D)
}. }.
% Try to use preferred compilers
opt_criterion(20, "leveled", "non-preferred compilers"). opt_criterion(20, "leveled", "non-preferred compilers").
#minimize{ #minimize{
Weight@(20 + ((max_depth - D - 1) * depth_offset) + Priority), Package Weight@(20 + ((max_depth - D - 1) * depth_offset) + Priority), Package
@ -1317,7 +1309,10 @@ opt_criterion(5, "leveled", "non-preferred targets").
%----------------- %-----------------
% Domain heuristic % Domain heuristic
%----------------- %-----------------
#heuristic attr("version", Package, Version) : version_declared(Package, Version, 0), attr("node", Package). [10, true] #heuristic attr("version", Package, Version) : version_declared(Package, Version, 0), attr("node", Package). [10, true]
#heuristic version_weight(Package, 0) : version_declared(Package, Version, 0), attr("node", Package). [10, true] #heuristic version_weight(Package, 0) : version_declared(Package, Version, 0), attr("node", Package). [10, true]
#heuristic attr("node_target", Package, Target) : package_target_weight(Target, Package, 0), attr("node", Package). [10, true] #heuristic attr("node_target", Package, Target) : package_target_weight(Target, Package, 0), attr("node", Package). [10, true]
#heuristic node_target_weight(Package, 0) : attr("node", Package). [10, true] #heuristic node_target_weight(Package, 0) : attr("node", Package). [10, true]