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 2015 arm-eabi for Darwin
Date: Sun, 21 Jun 2015 17:25:51 +0100
Organization: A noiseless patient Spider
Message-ID: <lyvbeht4ds.fsf@pushface.org>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx02.eternal-september.org;
 posting-host="c762050aff3a30866fa7e79999b14776";
	logging-data="27481"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/AvnW7fpyq4HfdzXZa19gjR7mDDSPVfHU="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (darwin)
Cancel-Lock: sha1:9eiXs0aoBRiaa7aM/Mxo+d88lcE=
	sha1:NuK7OIqy6XuPGooDrUY3TQHedSk=
Xref: news.eternal-september.org comp.lang.ada:26399
Date: 2015-06-21T17:25:51+01:00
List-Id: <comp.lang.ada>

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