Arch Linux User Repository

This package is available in the Arch Ada Repository.

https://wiki.archlinux.org/title/Ada

For those looking for a more up to date version of this package, please install ada_language_server-bin instead.

Hi @tfl5034,

   No probs re the delay.

   I've been doing a rebuild of all of the gnatstudio project stack the past few days and it's *not* trivial! ... :).

   I'm glad to hear from you as I'd like to discuss the best way to approach the versioning problem.

   I'm currently using all of the dependent project versions from the gnatstudio release and all is going (mostly) well (so far). I only have a couple more projects left to build b4 gnatstudio itself.

   So I'm leaning towards using the gnatstudio release sub-project versions as the 'official' releases for Arch, since they are guaranteed to play nicely together.

   Otherwise it's a case of version roulette (and frankly a royal pain in the butt :) ).

   Please let me know your thoughts on this.

   Here is a link to the gnatstudio sub-projects tarball ...

https://github.com/AdaCore/gnatstudio/releases/download/gnatstudio-cr-20230501/gnatstudio-sources-x86_64-linux.tar.gz

Regards.

Sorry for the delay in updating this. This is becoming trickier to maintain because AdaCore hasn't updated the releases of dependencies. To use the dependency versions on the AUR requires more and more patches for this package to build. A workaround would be to just statically build dependencies that are a part of the sources of this patch, but that defeats the purpose of the AUR. I'll gladly take any patches if someone has the latest build working (:

Unfortunately I am still seeing the same error, but I think the issue is with my system. I tried a clean install earlier, which failed with the same issue, but I should try again. I have no problem building it in arch linux CI, using the build manifest in this repo.

I've made a few updates to the dependencies today and ada_language_server built perfectly.

Are you still having some trouble with gnatdoc ?

I also couldn't get 23.0.11 to build and so used 23.0.10 also, for testing. I'm going over all the packages in the gnatstudio stack atm, hoping to find any dependency problems.

I couldn't get 23.0.11 to build, so I'm just updating for 23.0.10 for now. I am still having some trouble with that gnatdoc issue, but I won't let it block this update.

I forgot to add 'gpr' and 'gnatdoc' to the 'depends' array in my gist PKGBUILD below.

Hi again @tfl5034

The new dependent packages should now be in the AUR.

Here is a link to the ada_language_server PKGBUILD I've been using to test with ...

https://gist.github.com/charlie5/4e1b38194a225c43bceedd2132ae28df

Regards.

hi @tfl5034

Regarding the out-of-date flag, I'm currently working on the new 'ada_language_server' dependencies. I've made a PKGBUILD for the new 'gpr' project and hope to do the remaining deps over the weekend.

Will let you know when they are done and in the AUR.

Regards.

@Armag67 your issue with exceptions might be a better candidate for the GitHub issue tracker for gnat studio. This is assuming the issue is not a packaging issue.