alire VS distributing-gcc

> I don't know if this tool solves the problem

Not yet but it's on my list as a "phase 2" of sorts for getada. I have an alpine VPS that I'm playing around with but the main issue is that while alire can be built for alpine, any compilers it pulls from its toolchain won't work with it since none of them are built against musl. We've been talking about it here https://github.com/alire-project/alire/issues/792#issuecomme...

Join the club! And see this issue.

Alire brings in msys2, so that's why I'm curious if it's still working on Windows. Easiest way to install alire on Windows is through the installer linked on their main website.

We are considering if Alire should change defaults in regard to dealing with Unicode sources. The details are https://github.com/alire-project/alire/discussions/1334 if you're interested and want to provide some feedback.

It's also worth mentioning that Ada and SPARK are very easy to pick up these days. There's Cargo-like tool Alire [1], Ada Language Server [2], official VSCode plugin [3] and Open VSX plugin [4], Emacs Ada mode [5] and GNAT Studio [6]. With Alire one can easily install GNAT FSF builds (meaning GPL with linking exception) and SPARK tools. All libre software.

Not to mention Ada being really versatile and well thought out language.

[1] https://github.com/alire-project/alire

#1157 on Alire's GitHub page raises this issue as well. I've placed a comment over there. If the website's code is located on GitHub, it would be easier for users to contribute and get deployed automatically.

GCC 13.1.0 for aarch64-apple-darwin21, both native and cross-compiling to arm-eabi. Had to make a second release of both, because libgmp.dylib had a very unhelpful runpath setting.

Libadalang2xml now in Alire. NB, if you’re on macOS, you’ll need one of the packages I’ve been building; alr/macOS can’t build langkit, libadalang.

Yes: see here.

This is why, when considering whether to build & release a nn.2.0 macOS version, I’ll only do so if there’s a good reason: for example, GCC 12.1.0 couldn’t compile C source on macOS Ventura (version 13).

Over at Github, I’ve released GCC 12.2.0 for macOS: x86_64 for Intel Macs, aarch64 for Apple silicon. I have an arm-eabi build too, must get round to releasing it.

XNAdaLib is a large set of ready to use Ada libraries prebuilt with GNAT FSF 12.1 for macOS.

For the next few years you’ll be able to run x86_64 binaries on Apple silicon. I produced an aarch64 package based on GCC 12.1.0, see here, but (a) GCC 12.1 won’t compile C code on Ventura, (b) if you want an ecosystem try Alire whose default toolset includes a GCC 12.2-based compiler, albeit x86_64!