xmlada
GNAT-FSF-builds
xmlada | GNAT-FSF-builds | |
---|---|---|
3 | 6 | |
21 | 28 | |
- | - | |
3.0 | 7.5 | |
6 months ago | 2 months ago | |
Ada | Python | |
GNU General Public License v3.0 or later | 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.
xmlada
-
Step-by-step guidance to compile/install GnattColl on Windows (even Linux) without Alire?
Compile XMLAda as this is required by GPRBuild as I couldn't compile libgpr without them. And I don't understand why the readme.md of XMLAda is just a .txt file difficult to read.
-
xmlada VS matreshka - a user suggested alternative
2 projects | 26 Dec 2021
-
Compiling xmlada with other compilers
Has anyone managed to compile AdaCore's xmlada library with ObjectAda? The README at https://github.com/AdaCore/xmlada states "This library has been reported as being compilable with other compilers than GNAT. No build script is provided however". I've not been able to find where this has been reported...
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?
matreshka - Matreshka Project
alire-index - Community index for the Alire project
distributing-gcc - Binary releases of GCC (native and cross) on macOS; also, the scripts/Makefiles used for producing them.
Ravenports - Universal package builder system
gprbuild - GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
building-gcc-macos-native - Scripts for building GCC on macOS
gcc-13-branch - GCC 13 for Darwin with experimental Arm64 support. Current release 13.2-darwin-r0 [August 2023]