I don’t know as much about alire, but you didn’t mention anything besides permissions so just checking. Is it in your path? I think Alire checks the PATH variable and it’s own cache/toolchains folder for installations.
warn: Replacing libadalang_tools=23.0.0 with libadalang_tools=25.0.0/src/lal_tools.gpr...
error: Alire.Milestones.Containers.Sets.First_Element: set is empty
error: alr encountered an unexpected error, re-run with -d for details.
error: error location: Call stack traceback locations:
I had to purge all of alire and reinstall it, then recompile adalang. Now gnatpp is there… but oh god that sucks, there’s not a single exemple in here, I personally find the --help option result unreadable. They should have made a TUI frontend. I can’t get any of gcc’s page on it either.
For future similar troubles I’d suggest to try and install to a clean prefix (with alr install --prefix=/path/to/new/prefix). This way at least you can rule out interactions with previously installed releases.