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 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 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.
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.
EEC GDPR compliant
Made in RapidWeaver