Using gprbuild -U -cargs:ada -gnats it seems we can achieve a fast first syntactic pass. Could be the basis for an alr check a la cargo check (though the latter only omits code generation).
alire-project / alire
Command-line tool from the Alire project and supporting library
285
Contributors get 50% of received funds after fees
How does funding with Polar work?
1
Pay now to fund the work behind this issue.
2
Get updates on progress being made.
3
Maintainer is rewarded once the issue is completed.
FAQ
Backer
You're funding impactful open source efforts
Contributor
You want to contribute to this effort
Maintainer
You want to get funding like this too