spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications. (by simonjwright)
distributing-gcc
Binary releases of GCC (native and cross) on macOS; also, the scripts/Makefiles used for producing them. (by simonjwright)
spark2014 | distributing-gcc | |
---|---|---|
1 | 20 | |
1 | 33 | |
- | - | |
0.0 | 4.7 | |
about 2 years ago | 5 days ago | |
Ada | Makefile | |
GNU General Public License v3.0 only | BSD 3-clause "New" or "Revised" License |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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.
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.
spark2014
Posts with mentions or reviews of spark2014.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-02-28.
-
March 2022 What Are You Working On?
SPARK2014, macOS: I’ve built branch fsf against GCC 12.0.1 of 20220204 (discussion, compiler, spark2014).
distributing-gcc
Posts with mentions or reviews of distributing-gcc.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-06-02.
-
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!
What are some alternatives?
When comparing spark2014 and distributing-gcc you can also consider the following projects:
gcc-darwin-arm64 - GCC master branch for Darwin with experimental support for Arm64. Currently GCC-15.0.0 [May 2024]
Ada_GUI - An Ada-oriented GUI
ada-lox
PragmARC - The PragmAda Reusable Components
alire - Command-line tool from the Alire project and supporting library
Pi-Mainframe - Simulated mainframe computer based on a Raspberry Pi
ACATS - The Ada Conformity Assessment Test Suite, customised for GCC.
gembrowse - Terminal browser for the Gemini protocol
GNAT-FSF-builds - Builds of the GNAT Ada compiler from FSF GCC releases
plplot-ada - PLplot Ada Bindings
septum - Context-based code search tool
spark2014 vs gcc-darwin-arm64
distributing-gcc vs Ada_GUI
spark2014 vs ada-lox
distributing-gcc vs gcc-darwin-arm64
spark2014 vs PragmARC
distributing-gcc vs alire
spark2014 vs Pi-Mainframe
distributing-gcc vs ACATS
spark2014 vs gembrowse
distributing-gcc vs GNAT-FSF-builds
spark2014 vs plplot-ada
distributing-gcc vs septum