distributing-gcc
GNAT-FSF-builds
| distributing-gcc | GNAT-FSF-builds | |
|---|---|---|
| 20 | 6 | |
| 33 | 28 | |
| - | - | |
| 4.7 | 7.5 | |
| 6 days ago | 2 months ago | |
| Makefile | Python | |
| BSD 3-clause "New" or "Revised" License | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
distributing-gcc
-
June 2023 What Are You Working On?
GCC 13.1.0 for aarch64-apple-darwin21, both native and cross-compiling to arm-eabi. Had to make a second release of both, because libgmp.dylib had a very unhelpful runpath setting.
- GCC 13.1.0 releases for Apple silicon
- MacOS GCC 13.1.0 (aarch64)
- Release GCC 13.1.0 (aarch64)
-
May 2023 What Are You Working On?
Libadalang2xml now in Alire. NB, if you’re on macOS, you’ll need one of the packages I’ve been building; alr/macOS can’t build langkit, libadalang.
-
macOS GCC 13.1.0 (x86_64)
Yes: see here.
-
What are does the hobbyist programmer miss comparing the paid versus free Ada ecosystem?
This is why, when considering whether to build & release a nn.2.0 macOS version, I’ll only do so if there’s a good reason: for example, GCC 12.1.0 couldn’t compile C source on macOS Ventura (version 13).
-
December 2022 What Are You Working On?
Over at Github, I’ve released GCC 12.2.0 for macOS: x86_64 for Intel Macs, aarch64 for Apple silicon. I have an arm-eabi build too, must get round to releasing it.
-
[ANN] XNAdaLib 2022 and GNATStudio 23.0wb for macOS Monterey.
XNAdaLib is a large set of ready to use Ada libraries prebuilt with GNAT FSF 12.1 for macOS.
-
Ada on apple silicon
For the next few years you’ll be able to run x86_64 binaries on Apple silicon. I produced an aarch64 package based on GCC 12.1.0, see here, but (a) GCC 12.1 won’t compile C code on Ventura, (b) if you want an ecosystem try Alire whose default toolset includes a GCC 12.2-based compiler, albeit x86_64!
GNAT-FSF-builds
-
macOS GCC 13.1.0 (x86_64)
No, we’ll have to wait for (?Fabien) to set it up here when time permits. As it stands, you can use it as an external tool:
-
How to get the ARM toolchain up and running?
I downloaded the gnat-arm, as required by the README:
-
Step-by-step guidance to compile/install GnattColl on Windows (even Linux) without Alire?
Download and extract GNAT and GPRBuild linux binaries from Alire's GNAT FSF Builds (pretty simple, download, extract, add to path)
-
Ada Programming Language
The GNAT toolchain that Alire installs automatically is built by GitHub Actions runners from the GNAT-FSF-builds [1] repository.
You can download the toolchain as a tarball from the releases page and use it separately if you'd like. If you use Alire, it'll take care of downloading and unpacking the tarball and add it to your PATH when called via alr build.
[1] https://github.com/alire-project/GNAT-FSF-builds
-
Embedded Ada/SPARK, There's a Shortcut
There is a pro version of the SPARK tools available from AdaCore with a support subscription. But the tools are open-source and you can get free (as in beer) builds like this one for instance: https://github.com/alire-project/GNAT-FSF-builds/releases/tag/gnatprove-12.1.0-1
-
Ada on Windows in 2022 (Offering Help)
To start off, you'll need a bootstrap compiler. The Alire Project's GNAT FSF builds are a good candidate: https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-2/gnat-x86_64-darwin-12.1.0-2.tar.gz
What are some alternatives?
Ada_GUI - An Ada-oriented GUI
alire-index - Community index for the Alire project
gcc-darwin-arm64 - GCC master branch for Darwin with experimental support for Arm64. Currently GCC-15.0.0 [May 2024]
xmlada - The XML/Ada toolkit.
alire - Command-line tool from the Alire project and supporting library
Ravenports - Universal package builder system
ACATS - The Ada Conformity Assessment Test Suite, customised for GCC.
gprbuild - GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
septum - Context-based code search tool
building-gcc-macos-native - Scripts for building GCC on macOS
Honki-Tonks-Zivilisationen - Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based strategy game.
gcc-13-branch - GCC 13 for Darwin with experimental Arm64 support. Current release 13.2-darwin-r0 [August 2023]