Open simonjwright opened 2 months ago
It looks like the external gprbuild is being picked up.
It would be still a bug, but could you try to reverse the order of the crates requested? I.e., gnat_native gprbuild
rather than the other way around.
Quite right.
Having reversed the order, picks up gprbuild 22.0.1 and proceeds to the build (which fails, because of an unaasigned-but-unread variable; so not the fault of this issue!)
The reason for the issue is that crates are resolved in order and compatibility is checked against the ones already resolved. I guess we can do better, at least if no complete toolchain is found.
See here