Package Details: ada_language_server 2:25.0w-2

Git Clone URL: https://aur.archlinux.org/ada_language_server.git (read-only, click to copy)
Package Base: ada_language_server
Description: High performance syntactic and semantic engine for the Ada programming language.
Upstream URL: https://github.com/AdaCore/ada_language_server
Licenses: GPL3
Submitter: tfl5034
Maintainer: tfl5034 (charlie5)
Last Packager: charlie5
Votes: 1
Popularity: 0.000000
First Submitted: 2020-06-27 11:15 (UTC)
Last Updated: 2024-06-03 10:20 (UTC)

Pinned Comments

charlie5 commented on 2023-07-09 16:29 (UTC)

This package is available in the Arch Ada Repository.

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

tfl5034 commented on 2023-06-15 05:17 (UTC)

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

Latest Comments

« First ‹ Previous 1 2 3 4 Next › Last »

tfl5034 commented on 2022-05-31 15:23 (UTC)

@WinterAlexander, base-devel is an implicit requirement for AUR packages. See https://wiki.archlinux.org/title/Makepkg#Usage for more info.

WinterAlexander commented on 2022-05-31 14:31 (UTC)

patch should be added as a build dependency as the installation fails without it.

Armag67 commented on 2022-05-30 17:18 (UTC)

@tfl5034, thanks, I used sudo pacman -Rsc gcc-ada and then pacaur -S ada_language_server or pacaur -S gnat-gps all in bash shell and I got in these troubles. But since I have rebuilt libvss and then all the packages builds fine, but now I have multiple unhandled exceptions raised in gnatstudio that I will report in the gnat-gps AUR page.

tfl5034 commented on 2022-05-27 05:31 (UTC)

@Armag67, I use an AUR helper to rebuild all dependencies of gcc-ada when it's updated by using root=gcc-ada paru -S --rebuild=all (pactree -rl $root | tail -n +2) (this is using the fish shell). Doing that resolves the issue for me and allows ada_language_server to be rebuilt. Let me know if you have trouble with that.

Armag67 commented on 2022-05-25 23:11 (UTC)

Hello,

Since gcc update to v12, ada_language_server also needs an update in order to build gnt-gps.

error: "vss.ads" and "tester-run.adb" compiled with different GNAT versions, v11 and v12
error: "vss-stream_element_vectors.adb" and "tester-run.adb" compiled with different GNAT versions, v11 and v12
error: "vss-strings.adb" and "tester-run.adb" compiled with different GNAT versions, v11 and v12
error: "vss-implementation.ads" and "tester-run.adb" compiled with different GNAT versions, v11 and v12
...

And so on...

tfl5034 commented on 2021-07-21 04:53 (UTC)

Thanks. I’ll check it out. I might not be able to update for a couple weeks as I’m away from my computer.

charlie5 commented on 2021-07-19 21:53 (UTC)

Hi again, Here is a link to the PKGBUILD I've been testing with, in case it helps.

 https://gist.github.com/charlie5/bf2eb9869e070248a81ba84a92dd82f5

charlie5 commented on 2021-07-17 22:16 (UTC) (edited on 2021-07-17 22:19 (UTC) by charlie5)

'langkit' has been moved out of 'libadalang' into it's own package. I made a test PKGBUILD for 'ada_language_server' and then used it to test/build 'gnat-gps'. The new 'gnat-gps' builds and runs but has a small python problem which I hope to fix tomorrow. The new 'gnat-gps' package also requires a very recent 'gtkada'. I've done the update but haven't pushed yet. Also haven't pushed the new 'gnat-gps' yet.

Cheers.

tfl5034 commented on 2021-07-09 17:21 (UTC)

Thanks for the update. I'm still working out some build errors due to issues incorporating the gtkada dependency of ada_spawn.

charlie5 commented on 2021-07-08 09:18 (UTC)

Hi again, The updated ada_spawn and libvss packages are now in the AUR.

There are also packages for langkit, libadalang and libadalang-tools.

« First ‹ Previous 1 2 3 4 Next › Last »