summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMassimiliano Culpo <massimiliano.culpo@gmail.com>2021-10-29 16:14:38 +0200
committerTodd Gamblin <tgamblin@llnl.gov>2021-11-05 00:15:47 -0700
commit4d25fc0068d46b7a0b88fca911ff48ef77d3890f (patch)
tree988f808948db987d2932a57b69e018db0e6e4861
parent6e297b9ba1d48515368eea5e93553aeec64ad152 (diff)
downloadspack-4d25fc0068d46b7a0b88fca911ff48ef77d3890f.tar.gz
spack-4d25fc0068d46b7a0b88fca911ff48ef77d3890f.tar.bz2
spack-4d25fc0068d46b7a0b88fca911ff48ef77d3890f.tar.xz
spack-4d25fc0068d46b7a0b88fca911ff48ef77d3890f.zip
ASP-based solve: if an OS is set, respect the value
-rw-r--r--lib/spack/spack/solver/concretize.lp3
1 files changed, 3 insertions, 0 deletions
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.