Download Latest Version xnadalib-ce-2021-quartz-x86_64-apple-darwin20.5.0-bin.tgz (160.6 MB)
Email in envelope

Get an email when there's a new version of The GNU Ada compiler

Home / GNAT_GPL Mac OS X / 2016-arm-eabi-darwin-bin
Name Modified Size InfoDownloads / Week
Parent folder
README-for-gnat-gpl-2016-arm-eabi-darwin-bin 2016-06-06 1.4 kB
gnat-gpl-2016-arm-eabi-darwin-bin.tar.bz2 2016-06-06 78.5 MB
stlink-darwin-bin.zip 2016-06-06 318.2 kB
Totals: 3 Items   78.8 MB 0
This is GNAT GPL 2016, rebuilt as a cross-compiler from Mac OS X to
arm-eabi. The CPUs supported include cortex-m3, cortex-m4, cortex-r4.

The runtimes from the AdaCore gnat-gpl-2016-arm-elf-linux-bin are
included:

   ravenscar-full-stm32f4
   ravenscar-full-stm32f429disco
   ravenscar-full-stm32f469disco
   ravenscar-full-stm32f7disco
   ravenscar-full-tms570
   ravenscar-sfp-stm32f4
   ravenscar-sfp-stm32f429disco
   ravenscar-sfp-stm32f469disco
   ravenscar-sfp-stm32f7disco
   ravenscar-sfp-tms570
   zfp-lm3s
   zfp-stm32f4
   zfp-tms570

as are the examples in share/examples/gnat-cross/.

The compiler is known to run on El Capitan.

For installation, untar gnat-gpl-2016-arm-eabi-darwin-bin.tar.bz2,
enter gnat-gpl-2016-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 2016 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 STMicroelectronics
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.

[1] http://libre.adacore.com
[2] http://libre.adacore.com/developers/documentation-single/gnat-pro-users-guide-supplement-for-cross-platforms
Source: README-for-gnat-gpl-2016-arm-eabi-darwin-bin, updated 2016-06-06