diff options
author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2023-09-13 18:15:57 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-09-13 18:15:57 +0200 |
commit | babd29da5015d740748329006487b7d7f96df169 (patch) | |
tree | 527be6b41bcdf511fb42a6ce35dd56fbdcfa8213 /share | |
parent | c4e2d24ca9b8de7d0a6b8c5798e630197395ccd7 (diff) | |
download | spack-babd29da5015d740748329006487b7d7f96df169.tar.gz spack-babd29da5015d740748329006487b7d7f96df169.tar.bz2 spack-babd29da5015d740748329006487b7d7f96df169.tar.xz spack-babd29da5015d740748329006487b7d7f96df169.zip |
ASP-based solver: don't declare deprecated versions unless required (#38181)
Currently, the concretizer emits facts for all versions known to Spack, including deprecated versions, and has a specific optimization objective to minimize their use.
This commit simplifies how deprecated versions are handled by considering possible versions for a spec only if they appear in a spec literal, or if the `config:deprecated:true` is set directly or through the `--deprecated` flag. The optimization objective has also been removed, in favor of just ordering versions and having deprecated ones last.
This results in:
a) no delayed errors on install, but concretization errors when deprecated versions would be the only option. This is in particular relevant for CI where it's better to get errors early
b) a slight concretization speed-up due to fewer facts
c) a simplification of the logic program.
Co-authored-by: Harmen Stoppels <me@harmenstoppels.nl>
Diffstat (limited to 'share')
0 files changed, 0 insertions, 0 deletions