Building GCC 12.2.0 on Ventura for aarch64

These are notes on building GCC 12.2.0 and GNAT tools for Apple silicon.

There were two main problems:

• the base package was built on an Intel machine (lockheed - named after Shadowcat’s companion dragon), running Monterey (macOS 12).
• the build machine, an M1 mac Mini (temeraire - named after Naomi Novik’s dragon) was by this time running Ventura (macOS 13), but I wanted to make sure that users could continue to run on Monterey.

Packing issue in libusb

This note is about an issue encountered creating a very thin Ada binding to libusb (1.0.26).

I don’t like Homebrew

This exploration came about because of trying to add GNAT Math Extensions to Alire.

Which SDK? choices, choices ...

This note is about configuring GCC on macOS so that your built compiler can be used independently of which Software Development Kit (SDK) is installed.

GNAT LLVM

This is a note about building GNAT-LLVM on macOS.

SPARK2014 and FSF GCC

This is a note about building SPARK (i.e. gnatprove) against an FSF GCC.

Where’s that library?

This note is about some difficulties using shared libraries (.dylibs) on macOS.