Ada_Drivers_Library VS distributing-gcc

Hi, I'm trying to compile any example from the project Ada_Drivers_Library, but it seems that I can't get the toolchain correctly installed:

Trying to fix a problem with the accelerometer, actually with TWI (a.k.a. I2C) on BBC Micro:bit (v1): PR raised.

Tried to work out why TWI (Nordic’s I2C) doesn’t work on BBC micro:bit (v1.3b, anyway). Failed, so far.

Spent days to make MAG3110 work on Micro:bit, but then Fabien told me that it has been fixed in April. It appears that my local clone of Ada Drivers Library wasn't updated! :(

Got I2C & SPI drivers for the LPS25H barometric sensor accepted in the Ada Drivers Library.

You could take a look into the Ada_Drivers_Library. It provides BSPs and examples for different boards, so that's an easy way to get started. For the start you could get any of the boards supported there, depending on the hardware features you want to have.

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!