ANN: GNAT GPL 2015 arm-eabi for Darwin

[Simon Wright <simon@pushface.org>]

Released at
https://sourceforge.net/projects/gnuada/files/GNAT_GPL%20Mac%20OS%20X/2015-arm-eabi-darwin-bin/

README:

This is GNAT GPL 2015, rebuilt as a cross-compiler from Mac OS X to
arm-eabi. Two runtimes (full Ravenscar, and small-footprint Ravenscar,
respectively ravenscar-full-stm32f4 and ravenscar-sfp-stm32f4) are
supplied, configurable for three STM32F boards (STM32F4-DISCO,
STM32F429-DISCO, and STM32F7-EVAL). Examples are included.

The compiler is known to run on Mavericks and Yosemite.

For installation, untar gnat-gpl-2015-arm-eabi-darwin-bin.tar.bz2,
enter gnat-gpl-2015-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 2015 from [1]), 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 boards over USB, and a
README which details installation.

Usage notes are in the AdaCore "GNAT Pro User's Guide Supplement for
Cross Platforms"[2], specifically in section K.2[3].

[1] http://libre.adacore.com
[2] http://docs.adacore.com/gnat_ugx-docs/html/gnat_ugx.html
[3] http://docs.adacore.com/gnat_ugx-docs/html/gnat_ugx_14.html#SEC204