Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality. Learn more →
GNAT-FSF-builds Alternatives
Similar projects and alternatives to GNAT-FSF-builds
-
distributing-gcc
Binary releases of GCC (native and cross) on macOS; also, the scripts/Makefiles used for producing them.
-
Ada_Drivers_Library
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
gprbuild
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
gcc-13-branch
GCC 13 for Darwin with experimental Arm64 support. Current release 13.2-darwin-r0 [August 2023]
GNAT-FSF-builds reviews and mentions
-
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
-
A note from our sponsor - InfluxDB
www.influxdata.com | 5 May 2024
Stats
alire-project/GNAT-FSF-builds is an open source project licensed under MIT License which is an OSI approved license.
The primary programming language of GNAT-FSF-builds is Python.
Sponsored