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++.

Available on Simon’s GitHub



SPARK2014 built against it (provers CVC4, Z3, Alt-Ergo; CVC4 requires Sierra and upwards).
Available on Simon’s GitHub.
Needs GCC 12.0.1 installed.
Read More…

Tags: SPARK2014,GCC,MacOS