solver: virtual preference with provider details not honored #51262
Description
Steps to reproduce
Reported by @haampie in DM
With a package config file like:
packages:
c:
prefer:
- gcc@9
gcc:
externals:
- spec: [email protected] languages:='c,c++,fortran'
prefix: /usr
extra_attributes:
compilers:
c: /usr/bin/gcc
cxx: /usr/bin/g++
fortran: /usr/bin/gfortran
- spec: [email protected] languages:='c,c++,fortran'
prefix: /usr
extra_attributes:
compilers:
c: /usr/bin/gcc-10
cxx: /usr/bin/g++-10
fortran: /usr/bin/gfortran-10the following spec does not concretize, while it should:
$ spack solve zlib %c=gcc@10Error message
$ spack solve zlib %c=gcc@10
==> Error: failed to concretize `zlib %c=gcc@10` for the following reasons:
1. Cannot satisfy 'gcc@9'
2. Cannot satisfy 'gcc@9'
required because gcc@9 is a requirement for package c
required because gcc available as external when satisfying gcc@=10.5.0 languages:='c,c++,fortran'
required because is a requirement for package c
3. Cannot satisfy 'gcc@=10.5.0' and 'gcc@9'
required because gcc@9 is a requirement for package c
required because gcc available as external when satisfying gcc@=10.5.0 languages:='c,c++,fortran'
required because is a requirement for package c
required because gcc available as external when satisfying gcc@=10.5.0 languages:='c,c++,fortran'
required because gcc@9 is a requirement for package c
required because is a requirement for package cInformation on your system
- Spack: 1.1.0.dev0 (cefe06c)
- Builtin repo: spack/spack-packages@a3806d9
- Python: 3.13.2
- Platform: linux-ubuntu20.04-icelake
General information
- I have run
spack debug reportand reported the version of Spack/Python/Platform - I have searched the issues of this repo and believe this is not a duplicate
- I have run the failing commands in debug mode and reported the output
Metadata
Metadata
Assignees
Labels
Type
Projects
Status