Download Latest Version
xnadalib-ce-2021-quartz-x86_64-apple-darwin20.5.0-bin.tgz (160.6 MB)
Get an email when there's a new version of The GNU Ada compiler
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| gcc-4.9-gpl-2015-src-gcc-ada-gcc-interface-Makefile.in.diff | 2015-08-06 | 617 Bytes | |
| README-for-gnat-gpl-2015-arm-eabi-darwin-bin-bis | 2015-08-06 | 1.6 kB | |
| stlink-darwin-bin.zip | 2015-08-05 | 560.6 kB | |
| gcc-4.9-gpl-2015-src-gcc-config-arm-t-arm-elf.diff | 2015-08-05 | 502 Bytes | |
| gnat-gpl-2015-arm-eabi-darwin-bin-bis.tar.bz2 | 2015-08-05 | 54.3 MB | |
| Totals: 5 Items | 54.9 MB | 0 | |
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-bis.tar.bz2, enter gnat-gpl-2015-arm-eabi-darwin-bin-bis/ (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]. The compiler is built as AdaCore's distribution with the following changes: * newlib-2.2.0[4] is included. * gcc-4.9-gpl-2015-src-gcc-ada-gcc-interface-Makefile.in.diff supports installing the compiler at a location of your choice. * gcc-4.9-gpl-2015-src-gcc-config-arm-t-arm-elf.diff supports building for Cortex-M3, M4, and M4F (see PR66849[5]). [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 [4] https://sourceware.org/newlib/ [5] https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66849