This is GNAT GPL 2016, rebuilt as a cross-compiler from Mac OS X to
arm-eabi. The CPUs supported include cortex-m3, cortex-m4, cortex-r4.
The runtimes from the AdaCore gnat-gpl-2016-arm-elf-linux-bin are
as are the examples in share/examples/gnat-cross/.
The compiler is known to run on El Capitan.
For installation, untar gnat-gpl-2016-arm-eabi-darwin-bin.tar.bz2,
enter gnat-gpl-2016-arm-eabi-darwin-bin/ (there is a README) and run
doinstall (sudo doinstall). Note that you must have a working host
compiler (the official GNAT GPL 2016 from ), and this compiler must
be installed on top of it.
Additionally, stlink-darwin-bin.zip contains a .tar.gz file with the
stlink utilities used to communicate with the STMicroelectronics
boards over USB, and a README which details installation.
Usage notes are in the AdaCore "GNAT Pro User's Guide Supplement for
Cross Platforms", specifically in section K.