GNAT (FSF) ~ GCC 12.1.0
Compilers included: Ada, C, C++.
Available on Simon’s GitHub, and soon through ALIRE
GNAT (FSF) ~ GCC 12.1.0, X86_64 build.
Compilers included: Ada, C, C++.
Available on Simon’s GitHub, and soon through ALIRE
Also runs on macOS versions up to at least Monterey (12, Darwin 21)
GNAT (FSF) ~ GCC 12.0.1
Compilers included: Ada, C, C++.
Available on Simon’s GitHub, and soon through ALIRE
Unlike previous GCC packages for macOS, this package installs at a fixed location: /opt/gcc-12.0.1-aarch64
GNAT (FSF) ~ GCC 12.0.1 of 20220311
Compilers included: Ada, C, C++.
Available on Simon’s GitHub, and soon through ALIRE
GNAT (FSF) ~ GCC 12.0.1 of 20220128 (only Ada, C, C++, built on Mac OS-X El Capitan, runs up to macOS 12 Monterey).
Compilers included: Ada, C, C++.
GNAT (FSF) Available on Simon’s GitHub
SPARK2014 built against it (provers CVC4, Z3, Alt-Ergo; CVC4 requires Sierra and upwards).
Needs GCC 12.0.1 installed.
SPARK2014 Available on Simon’s GitHub
This is GCC 6.1.0 built for Mac OS X El Capitan (10.11.4, Darwin 15.4.0), with the Command Line Tools for Xcode 7.
Compilers included: Ada, C, C++, Objective C, Objective C++, Fortran.
This is GCC 6.1.0, rebuilt as a cross-compiler from Mac OS X to arm-eabi specifically,
The compiler comes with no Ada Runtime System (RTS).
See the Cortex GNAT Run Time Systems project for candidates.
This is GCC 5.2.1 for arm-eabi from GCC ARM Launchpad, tested on
the Cortex-M3 as found on the Arduino Due and the Cortex-M4 as
found on the STMicroelectronics STM32F4 Discovery and STM32F429I
Discovery boards.
There's not a lot of added Ada goodness compared to 5.1.0, but the El
Capitan-related problem that David Botton recently encountered is fixed.
If you need PR66509 fixed and also arm-eabi support, put this compiler
on your PATH before the 5.1.0 compiler
e.g. PATH=/opt/gcc-5.2.0/bin:/opt/gcc-5.1.0/bin:/the/rest/of/your/path
Downloads on SourceForge, prepared by Simon Wright
EEC GDPR compliant
Made in RapidWeaver