concretizer: prefer using the same compiler over using newer versions
This commit is contained in:
parent
28afdb9530
commit
2ea8bd0b19
@ -386,15 +386,15 @@ root(Dependency, 1) :- not root(Dependency), node(Dependency).
|
|||||||
Weight*R@9,Provider : provider_weight(Provider, Weight), root(Package, R)
|
Weight*R@9,Provider : provider_weight(Provider, Weight), root(Package, R)
|
||||||
}.
|
}.
|
||||||
|
|
||||||
|
% compiler preferences
|
||||||
|
#maximize{ Weight@8,Package : compiler_match(Package, Weight) }.
|
||||||
|
#minimize{ Weight@7,Package : compiler_weight(Package, Weight) }.
|
||||||
|
|
||||||
% prefer more recent versions.
|
% prefer more recent versions.
|
||||||
#minimize{
|
#minimize{
|
||||||
Weight@8,Package : version_weight(Package, Weight)
|
Weight@6,Package : version_weight(Package, Weight)
|
||||||
}.
|
}.
|
||||||
|
|
||||||
% compiler preferences
|
|
||||||
#maximize{ Weight@7,Package : compiler_match(Package, Weight) }.
|
|
||||||
#minimize{ Weight@6,Package : compiler_weight(Package, Weight) }.
|
|
||||||
|
|
||||||
% fastest target for node
|
% fastest target for node
|
||||||
|
|
||||||
% TODO: if these are slightly different by compiler (e.g., skylake is
|
% TODO: if these are slightly different by compiler (e.g., skylake is
|
||||||
|
Loading…
Reference in New Issue
Block a user