libadalang VS alire

3) most any project on https://www.adacore.com/

There are also tools like gnatcheck and CodePeer, but I don't know if there if there are free versions available. Some of the tools that used to require ASIS have switched to libadalang because ASIS works only with code that compiles.

for more information about the language visit:

My wild guess: AdaCore is doing again something with the page. From time to time, weird things happens to www.adacore.com, like it showing old version of page, etc. I can only suggest waiting a moment (like a long moment :) ). Probably until Tuesday everything should back to normal. If not, then at least will be some statement from AdaCore.

AdaCore took it upon itself to proselytize the language, and even make and open source a bunch of tools for the community. Just between libadalang and Ada Language Server, they've already probably undermined a lot of their business model by providing the tools for modern IDE integration for free, seemingly for the sake of trying to make the language more relevant again. They've given people like myself, the opportunity to exist outside of their paid and closed ecosystem using tools like Visual Studio Code, and even done things like fix multiple bugs and implement several features I've requested.

I dont know for sure, but it might be the language that Garmin uses given that one of the images on Adacore.com looks like a G1000 cockpit.

> I don't know if this tool solves the problem

Not yet but it's on my list as a "phase 2" of sorts for getada. I have an alpine VPS that I'm playing around with but the main issue is that while alire can be built for alpine, any compilers it pulls from its toolchain won't work with it since none of them are built against musl. We've been talking about it here https://github.com/alire-project/alire/issues/792#issuecomme...

Join the club! And see this issue.

Alire brings in msys2, so that's why I'm curious if it's still working on Windows. Easiest way to install alire on Windows is through the installer linked on their main website.

We are considering if Alire should change defaults in regard to dealing with Unicode sources. The details are https://github.com/alire-project/alire/discussions/1334 if you're interested and want to provide some feedback.

It's also worth mentioning that Ada and SPARK are very easy to pick up these days. There's Cargo-like tool Alire [1], Ada Language Server [2], official VSCode plugin [3] and Open VSX plugin [4], Emacs Ada mode [5] and GNAT Studio [6]. With Alire one can easily install GNAT FSF builds (meaning GPL with linking exception) and SPARK tools. All libre software.

Not to mention Ada being really versatile and well thought out language.

[1] https://github.com/alire-project/alire

#1157 on Alire's GitHub page raises this issue as well. I've placed a comment over there. If the website's code is located on GitHub, it would be easier for users to contribute and get deployed automatically.