@@ -1011,16 +1011,6 @@ node_os_weight(PackageNode, Weight)
10111011 attr("node_os", PackageNode, OS),
10121012 os(OS, Weight).
10131013
1014- % match semantics for OS's
1015- node_os_match(PackageNode, DependencyNode) :-
1016- depends_on(PackageNode, DependencyNode),
1017- attr("node_os", PackageNode, OS),
1018- attr("node_os", DependencyNode, OS).
1019-
1020- node_os_mismatch(PackageNode, DependencyNode) :-
1021- depends_on(PackageNode, DependencyNode),
1022- not node_os_match(PackageNode, DependencyNode).
1023-
10241014% every OS is compatible with itself. We can use `os_compatible` to declare
10251015os_compatible(OS, OS) :- os(OS).
10261016
@@ -1509,16 +1499,6 @@ opt_criterion(39, "compiler mismatches that are not from CLI").
15091499 build_priority(PackageNode, Priority)
15101500}.
15111501
1512- % Try to minimize the number of compiler mismatches in the DAG.
1513- opt_criterion(35, "OS mismatches").
1514- #minimize{ 0@235: #true }.
1515- #minimize{ 0@35: #true }.
1516- #minimize{
1517- 1@35+Priority,PackageNode,DependencyNode
1518- : node_os_mismatch(PackageNode, DependencyNode),
1519- build_priority(PackageNode, Priority)
1520- }.
1521-
15221502opt_criterion(30, "non-preferred OS's").
15231503#minimize{ 0@230: #true }.
15241504#minimize{ 0@30: #true }.
0 commit comments