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

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 w22.0.0 included from AdaCore on GitHub : GPL with the Runtime Library Exception:

• AUnit
• GNATCOLL sub-modules :
  • gnatcoll-core
    • ZLIB is included,
    • OMP and LZMA are not (the GNATCOLL version for LZMA requires thread support in the system library, not available on macOS).
  • gnatcoll-bindings
  • gnatcoll-db (only the SQLite backend)
• Gprbuild
• Langkit
• Libadalang
• Libadalang tools
• XMLAda