List of Ada Compilers
Added a specific page about present, and past, free & commercial Ada Compilers.
Located in Dev Tools / Build
You’ll find:
- Free and Open Source
- Commercial
- Legacy 83 .. 95 compilers
- Ancient
Added a specific page about present, and past, free & commercial Ada Compilers.
Located in Dev Tools / Build
PTC announced the release of version 10.4 of the following popular PTC® ObjectAda development environment products for native application development on Windows and Linux using the Ada programming language:
It is a native commercial Ada compiler providing an upgraded Ada 2012 support, enhanced Windows 11 support, and runtime library compatibility.
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
EEC GDPR compliant
