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