Show threadOrzech ๐ŸชMay 3, 2025

@adanskana AFAIR, this is the reason #GNAT is not distributed through #Homebrew either.

Perhaps instead of GNAT, distributions could package #Alire ? [1] It can be used to obtain open source #AdaLang / #SPARKLang toolchains (including #FSF GNAT licensed under #GPL with GCC RLE) similarly to how #RustLang toolchain can be obtained with #Rustup . Alire is like a mix of Rustup and #Cargo, but for #Ada.

[1] https://alire.ada.dev

Alire -

A catalog of ready-to-use Ada libraries

Ada ProgrammersDec 26, 2022
4 days left to submit your entry for Ada/SPARK Crate Of The Year 2022! ๐Ÿ“†๐Ÿ† #AdaLang #SparkLang #CrateOfTheYear https://blog.adacore.com/announcing-the-2022-ada-spark-crate-of-the-year-award
Announcing The 2022 Ada/SPARK Crate Of The Year Award

by Fabien Chouteau โ€“ Jun 28, 2022. We're happy to announce our the second edition of our programming competition, the Ada/SPARK Crate Of The Year Award! We believe the Alire package manager is a game changer for Ada/SPARK, so we want to use this competition to reward the people contributing to theโ€ฆ

The AdaCore Blog