8 ms·

I don't think so, last I checked you have to download the graphical installer from AdaCore. I'm not sure why it's this way. I've never had any trouble with the

I don't think so, last I checked you have to download the graphical installer from AdaCore. I'm not sure why it's this way. I've never had any trouble with the installer, at least.

pyjarrett 5y ago
Alire (https://alire.ada.dev/ https://alire.ada.dev/) can do the toolchain install now. It's pretty much like cargo, and can also be used to select from multiple toolchain versions.