diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2021-10-29 16:14:38 +0200 |
|---|---|---|
| committer | Todd Gamblin <tgamblin@llnl.gov> | 2021-11-05 00:15:47 -0700 |
| commit | 4d25fc0068d46b7a0b88fca911ff48ef77d3890f (patch) | |
| tree | 988f808948db987d2932a57b69e018db0e6e4861 | |
| parent | 6e297b9ba1d48515368eea5e93553aeec64ad152 (diff) | |
| download | spack-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.lp | 3 |
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. |