From 4d25fc0068d46b7a0b88fca911ff48ef77d3890f Mon Sep 17 00:00:00 2001 From: Massimiliano Culpo Date: Fri, 29 Oct 2021 16:14:38 +0200 Subject: ASP-based solve: if an OS is set, respect the value --- lib/spack/spack/solver/concretize.lp | 3 +++ 1 file changed, 3 insertions(+) (limited to 'lib') diff --git a/lib/spack/spack/solver/concretize.lp b/lib/spack/spack/solver/concretize.lp index fd98aa92f3..32a84e6d5e 100644 --- a/lib/spack/spack/solver/concretize.lp +++ b/lib/spack/spack/solver/concretize.lp @@ -572,6 +572,9 @@ os_compatible(OS, OS) :- os(OS). % catalina binaries can be used on bigsur. Direction is package -> dependency. os_compatible("bigsur", "catalina"). +% If an OS is set explicitly respect the value +node_os(Package, OS) :- node_os_set(Package, OS), node(Package). + #defined node_os_set/2. #defined os_compatible/2. -- cgit v1.2.3-60-g2f50