4 ms·
Is there an easy way to get up and running with SPARK on ubuntu using just "apt install" from official package repositories?
by jeff-davis 5y ago
Is there an easy way to get up and running with SPARK on ubuntu using just "apt install" from official package repositories?
- MaxBarraclough 5y agoI 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 agoAlire (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.
- pyjarrett 5y agoGNAT is part of GCC, I'd look in your package manager for "Ada" and/or GCC. I'd recommend asking in https://gitter.im/ada-lang/Lobby https://gitter.im/ada-lang/Lobby