@mgrojo Thanks for the tutorial link. Since I was not using VS Code, I did not follow the tutorial, although that does not seem to matter all that much. I looked through the steps, and I could see nothing relevant there that I did not already do. Basically, all it says is to make sure the GNAT tooling is available on the PATH. Which it is:
❯ which gprbuild ; which gcc
/opt/gprbuild-x86_64-linux-24.0.0-2/bin/gprbuild
/opt/gnat-x86_64-linux-14.2.0-1/bin/gcc
I did make one interesting find, though: the Ada Language Server in Ubuntu is working, but only in parts of the source tree?!
For instance, trying a rename of Do_Something in testsuite/ada_lsp/completion.invisible.insert_with_clause.renamed_units/bar.ads will fail with the above error about raised CONSTRAINT_ERROR : gpr2-project-tree.ads:501 access check failed, but renaming in source/ada/lsp-search.adb works fine.
Even stranger is that both of these files work fine (-ish - loads of other errors) with ALS on my macOS , using the same setup?! I have even compared pwd output to see if this mattered, but even when identical I still have issues with the files in testsuite/**.
@nerd_type That’s pretty much my config already 