ANN: GNAT GPL 2014 for arm-eabi on Darwin

[Simon Wright <simon@pushface.org>]

Find this at
https://www.dropbox.com/sh/d6jyh9aljpjbor9/AAA-BbYkAapmGbmQ2BqWNZnIa?dl=0
(temporary until Sourceforge is accepting uploads again)

From the README:

This is GNAT GPL 2014, rebuilt as a cross-compiler from Mac OS X to
arm-eabi. Runtimes for two STM32F4 boards, and examples, are included:

* STM32F4 Discovery
* STM32F429I Discovery

The compiler is known to run on Mavericks and Yosemite.

For installation, untar gnat-gpl-2014-arm-eabi-darwin-bin.tar.gz,
enter gnat-gpl-2014-arm-eabi-darwin-bin/ (there is a README) and run
doinstall. Note that you must have a working host compiler; if using
Mavericks, this should be GNAT GPL 2014, but if using Yosemite (at the
time of writing, 17.xi.2014, on which GNAT GPL 2014 compilations fail)
you can use a compiler with an equivalent set of tools, say FSF GCC
4.9.1 from [1].

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]. Note however that
that document is a work-in-progresss and discusses features that
didn't make it into the GNAT GPL 2014 release:

  o gprbuild doesn't support the Project attribute Runtime: instead,
    in package Builder, Default_Switches ("Ada") should include
    "--RTS={runtime}".

[1] https://sourceforge.net/projects/gnuada/
[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