web analytics

GCC | Programmer's Forge for Open Source Ada Code and Tools - News

News

GCC

Programmer's Forge for Open Source Ada Code and Tools - News

GCC 12.1.0 buid on macOS 12 Monterey (M1)

2022-05-27 Filed in: Compiler

GNAT (FSF) ~ GCC 12.1.0

Compilers included: Ada, C, C++.

Available on Simon’s GitHub, and soon through ALIRE

Build for Mac M1 : GCC 12.0.1-aarch64 built on macOS Monterey (12, Darwin 21)

Unlike previous GCC packages for macOS, this package installs at a fixed location:

/opt/gcc-12.0.1-aarch64

Tags: MacOS,GCC

GCC 12.1.0 buid on macOS 12 Monterey (x86-64)

2022-05-11 Filed in: Compiler

GNAT (FSF) ~ GCC 12.1.0, X86_64 build.

Compilers included: Ada, C, C++.

Available on Simon’s GitHub, and soon through ALIRE

See the release page GCC 12.1.0 built on MacOS X El Capitan (10.11, Darwin 15), with Xcode 8.2.1

Also runs on macOS versions up to at least Monterey (12, Darwin 21)
Read More…

Tags: GCC,MacOS

GCC 12.0.1 buid on macOS 12 Monterey (x86-64)

2022-03-12 Filed in: Compiler

GNAT (FSF) ~ GCC 12.0.1 of 20220311

Compilers included: Ada, C, C++.

Available on Simon’s GitHub, and soon through ALIRE

Build for Mac INTEL : GCC 12.0.1 of 20220311 built on macOS Monterey (12, Darwin 21), with Xcode 13.2.1

Tags: GCC,MacOS

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

2022-02-19 Filed in: Compiler

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

GCC 12.0.1 buid on macOS 12 Monterey (M1)

2022-04-01 Filed in: Compiler

GNAT (FSF) ~ GCC 12.0.1

Compilers included: Ada, C, C++.

Available on Simon’s GitHub, and soon through ALIRE

Build for Mac M1 : GCC 12.0.1-aarch64 built on macOS Monterey (12, Darwin 21)

Unlike previous GCC packages for macOS, this package installs at a fixed location:

/opt/gcc-12.0.1-aarch64

Tags: GCC,MacOS

GCC 6.1.0 arm-eabi for OS X El Capitan

2016-06-05 Filed in: Compiler

This 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

GNAT GPL 2016 arm-eabi for OS X El Capitan

2016-06-06 Filed in: Compiler

This is GNAT GPL 2016, rebuilt as a cross-compiler from Mac OS X to arm-eabi.

The CPUs supported include cortex-m3, cortex-m4, cortex-r4.

https://sourceforge.net/projects/gnuada/files/GNAT_GPL%20Mac%20OS%20X/2016-arm-eabi-darwin-bin/
From Simon Wright

Tags: GCC,ARM,Arduino,Cortex,OSX

GCC 5.2.0 for OS X El Capitan

2015-11-24 Filed in: Compiler

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

Tags: GCC,GNAT,OSX,MacOS

GCC 5.2.1 arm-eabi for OS X El Capitan

2016-01-26 Filed in: Compiler

This is GCC 5.2.1 for arm-eabi from GCC ARM Launchpad, tested on
the Cortex-M3 as found on the Arduino Due and the Cortex-M4 as
found on the STMicroelectronics STM32F4 Discovery and STM32F429I
Discovery boards.
Downloads on SourceForge, prepared by Simon Wright

Tags: GCC,ARM,Arduino,Cortex,OSX

Scroll

GDPR compliant