zhangyiss/spack
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

macOS: improve error message for required compilers

Browse Source
This commit is contained in:
Massimiliano Culpo 2025-02-20 16:39:25 +01:00
parent 05cf9b32a5
commit 035131749b
No known key found for this signature in database
GPG Key ID: 3E52BB992233066C
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
lib/spack/spack/solver/concretize.lp
View File

@ -902,8 +902,10 @@ required_provider(Provider, Virtual)
pkg_fact(Virtual, condition_effect(ConditionID, EffectID)), pkg_fact(Virtual, condition_effect(ConditionID, EffectID)),
imposed_constraint(EffectID, "node", Provider). imposed_constraint(EffectID, "node", Provider).
:- provider(node(Y, Package), node(X, Virtual)), required_provider(Provider, Virtual), Package != Provider, error(1, "Trying to use {0} as a provider for {1}, but {2} is required", Package, Virtual, Provider) :-
internal_error("If a provider is required the concretizer must use it"). provider(node(Y, Package), node(X, Virtual)),
required_provider(Provider, Virtual),
Package != Provider.
% TODO: the following choice rule allows the solver to add compiler % TODO: the following choice rule allows the solver to add compiler
% flags if their only source is from a requirement. This is overly-specific % flags if their only source is from a requirement. This is overly-specific