GCC 12.0.1 build on Mac OS-X 10.11 El Capitan, compatible SPARK2014
2022-02-19 Filed in:
CompilerGNAT (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
GitHubSPARK2014 built against it (provers CVC4, Z3, Alt-Ergo; CVC4 requires Sierra and upwards).
Available on Simon’s
GitHub.
Needs GCC 12.0.1 installed.
Running the test suite on the ug* tests (the examples in the User Guide) results in one failure (aside from the missing CodePeer one) unless you build with -j2 (where 2 is less than the number of processors in your machine).
See this
note on building the latter
Tools included (all at version 22.0.0, and all with the Runtime Library Exception):
From AdaCore on GitHub :
© Simon J. Wright
BSD-3-Clause License
Tags: SPARK2014,GCC,MacOS
