diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2024-03-20 11:57:56 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-20 04:57:56 -0600 |
| commit | 7cb0dbf77a155a0a2a30448b28dde1036cf21962 (patch) | |
| tree | 7bc963a21f7cdf7ee308603216888c8bef1c3915 | |
| parent | ac8800ffc7e14d72d10bb585e55396410543f61f (diff) | |
| download | spack-7cb0dbf77a155a0a2a30448b28dde1036cf21962.tar.gz spack-7cb0dbf77a155a0a2a30448b28dde1036cf21962.tar.bz2 spack-7cb0dbf77a155a0a2a30448b28dde1036cf21962.tar.xz spack-7cb0dbf77a155a0a2a30448b28dde1036cf21962.zip | |
Remove optimization criterion on OS mismatches (#43282)
| -rw-r--r-- | lib/spack/spack/solver/concretize.lp | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/lib/spack/spack/solver/concretize.lp b/lib/spack/spack/solver/concretize.lp index 6736dcaf45..a186290824 100644 --- a/lib/spack/spack/solver/concretize.lp +++ b/lib/spack/spack/solver/concretize.lp @@ -1011,16 +1011,6 @@ node_os_weight(PackageNode, Weight) attr("node_os", PackageNode, OS), os(OS, Weight). -% match semantics for OS's -node_os_match(PackageNode, DependencyNode) :- - depends_on(PackageNode, DependencyNode), - attr("node_os", PackageNode, OS), - attr("node_os", DependencyNode, OS). - -node_os_mismatch(PackageNode, DependencyNode) :- - depends_on(PackageNode, DependencyNode), - not node_os_match(PackageNode, DependencyNode). - % every OS is compatible with itself. We can use `os_compatible` to declare os_compatible(OS, OS) :- os(OS). @@ -1509,16 +1499,6 @@ opt_criterion(39, "compiler mismatches that are not from CLI"). build_priority(PackageNode, Priority) }. -% Try to minimize the number of compiler mismatches in the DAG. -opt_criterion(35, "OS mismatches"). -#minimize{ 0@235: #true }. -#minimize{ 0@35: #true }. -#minimize{ - 1@35+Priority,PackageNode,DependencyNode - : node_os_mismatch(PackageNode, DependencyNode), - build_priority(PackageNode, Priority) -}. - opt_criterion(30, "non-preferred OS's"). #minimize{ 0@230: #true }. #minimize{ 0@30: #true }. |