2022-05-27 Filed in:
CompilerGNAT (FSF) ~ GCC 12.1.0
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
Read More…Tags: MacOS,GCC
2022-05-11 Filed in:
CompilerGNAT (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)
Read More…Tags: GCC,MacOS
2022-03-12 Filed in:
CompilerGNAT (FSF) ~ GCC 12.0.1 of 20220311
Compilers included: Ada, C, C++.
Available on
Simon’s GitHub, and soon through ALIRE
Read More…Tags: GCC,MacOS
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.
Read More…Tags: SPARK2014,GCC,MacOS
2022-04-01 Filed in:
CompilerGNAT (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
Read More…Tags: GCC,MacOS
2016-06-05 Filed in:
CompilerThis is GCC 6.1.0, rebuilt as a cross-compiler from Mac OS X to arm-eabi specifically,
- the Cortex-M3 as found on the Arduino Due
- the Cortex-M4 as found on the STMicroelectronics[2] STM32F4 Discovery and STM32F429I Discovery boards.
The compiler comes with no Ada Runtime System (RTS). See the
Cortex GNAT Run Time Systems project for candidates.
From Simon Wright
Read More…Tags: GCC,ARM,Arduino,Cortex,OSX,MacOS
2016-07-11 Filed in:
CompilerThis is GCC 6.1.0 built for Mac OS X El Capitan (10.11.4, Darwin 15.4.0), with the Command Line Tools for Xcode 7.
Compilers included: Ada, C, C++, Objective C, Objective C++, Fortran.
gcc-6.1.0-x86_64-apple-darwin15-2016-bin.tar.bz2
at
https://sourceforge.net/projects/gnuada/files/GNAT_GCC%20Mac%20OS%20X/6.1.0/native-2016/From Simon Wright
Read More…Tags: OSX,MacOS
2015-09-03 Filed in:
Framework | Tool | Tech LibraryThis is XNAdaLib 2015 built on MacOS 10.9 Mavericks for Native Quartz including:
- GTK Ada GPL 2015 with GTK+ 3.16.0 complete,
- Glade 3.18.3,
- GnatColl GPL 2015,
- Florist GPL 2015,
- AdaCurses 20110404,
- Gate 3-04-b,
- AICWL 3.11 (with Components 4.8 and gtksourceview 3.14.3),
- GNOGA 1.1a,
Read More…Tags: OSX,Quartz,GTK,GNAT,MacOS
