web analytics
Newspapers

 
Categories: Compiler

GCC 12.0.1 build on Mac OS-X 10.11 El Capitan, compatible SPARK2014

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

Categories: Compiler

GCC 5.2.0 for OS X El Capitan

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