From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: ANN: GNAT GPL 2014 for arm-eabi on Darwin
Date: Wed, 19 Nov 2014 09:54:06 +0000
Organization: A noiseless patient Spider
Message-ID: <lybno3348x.fsf@pushface.org>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx02.eternal-september.org;
 posting-host="0ae4cc8b8d80483add419fa719d67148";
	logging-data="9857"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/rY0PUgtbLqDmWlJ8S3hIoUxqhAhU7fKE="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (darwin)
Cancel-Lock: sha1:cqKZAWOJP3GI8MjTQO/1ZFWBmEo=
	sha1:YIXUx4hdkfJJWAv/vOlMNMwc5tU=
Xref: news.eternal-september.org comp.lang.ada:23543
Date: 2014-11-19T09:54:06+00:00
List-Id: <comp.lang.ada>

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