alire-index
GNAT-FSF-builds
alire-index | GNAT-FSF-builds | |
---|---|---|
3 | 6 | |
48 | 28 | |
- | - | |
9.2 | 7.5 | |
3 days ago | about 2 months ago | |
Shell | Python | |
GNU General Public License v3.0 only | 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.
alire-index
-
October 2022 What Are You Working On?
Submitted libtcl and libtk externals to Alire’s 1.2.1 index - all problems fixed, I hope.
-
Ada Programming Language
I do not know the exact rationale of the Alire devs, but Ada already uses (since 83) the word "package" to indicate a module or namespace, so calling dependencies a "crate" seems to avoid confusion with an Ada "package".
The crates of the community index [1] are somewhat vetted because they are added to the index using a PR on GitHub. You're not required to use these external crates though, you can create your own monorepo if you want.
My personal experience has been that a package manager (for any language) makes it much easier to download and build some project.
[1] https://github.com/alire-project/alire-index
-
ASFML v2.5 released
Yes you can specify dependency on external libraries that will be provided by the distribution (or msys2 on WIndows). We already have a few of those in the index, for instance you can take a look at SDL2: https://github.com/alire-project/alire-index/blob/stable-1.0/index/li/libsdl2/libsdl2-external.toml
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?
awesome-ada - A curated list of awesome resources related to the Ada and SPARK programming language
distributing-gcc - Binary releases of GCC (native and cross) on macOS; also, the scripts/Makefiles used for producing them.
ASFML - Ada binding to the SFML library
xmlada - The XML/Ada toolkit.
esp32c3-ada - Ada SDK for the ESP32C3 RISC-V SoC
Ravenports - Universal package builder system
gpr-rust - Rust binding for gpr
gprbuild - GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
learnesp32 - Ada on ESP32-C3: Proof of concept
building-gcc-macos-native - Scripts for building GCC on macOS
esp32c3-direct-boot-example - Example of ESP32-C3 (rev. 3 and later) "direct boot" feature.
gcc-13-branch - GCC 13 for Darwin with experimental Arm64 support. Current release 13.2-darwin-r0 [August 2023]