Package Details: ada_language_server 2:24.0w-1

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: 2023-06-15 09:25 (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

1 2 3 4 Next › Last »

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

This package is available in the Arch Ada Repository.

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

charlie5 commented on 2023-06-15 10:15 (UTC)

@tfl5034

Thanks for the co-maintainership :). Please see comment in gprbuild AUR page for latest status.

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.

tfl5034 commented on 2023-06-15 04:25 (UTC)

You have been added as co-maintainer. I also created a new ada_language_server-bin package for the latest als.

charlie5 commented on 2023-06-12 12:27 (UTC)

@tfl5034,

I'd be happy to pick it up, or you might make me a co-maintainer (see Manage Co-Maintainers above). Whichever you'd prefer.

I think option 1 or option 3 is the way to go. There are about 26 dependencies in the gnatstudio stack, so option 2 might be difficult to manage.

Regards.

tfl5034 commented on 2023-06-12 04:31 (UTC)

Hi @charlie5, thanks for the help. I have been thinking about this for a bit. If we plan on moving to using the gnatstudio sources (which have pros and cons), I think that it may be more efficient if I orphan this package and you pick it up. Let me know what you think. I think we have several options:

  1. Switch to gnatstudio sources for all dependencies, while otherwise keeping the packages separate in the AUR
  2. Package all the gnatstudio dependencies in the gnatstudio package - perhaps statically linking them
  3. Follow #1, and introduce ada_language_server-bin packages for those that want more recent builds of the package.

charlie5 commented on 2023-06-11 08:48 (UTC) 

Hi again,

   All of the gnatstudio stack packages have been updated and pushed to the AUR.

   Here is a new ada_lanaguage_server PKGBUILD which I've been using to test 
the new gnatstudio PKGBUILD.

https://gist.github.com/charlie5/9110d5b034195a71a837fce3d1416850


Regards.

charlie5 commented on 2023-06-10 10:36 (UTC) 

Hi,

   Here is the ada_lanaguage_server PKGBUILD which I've been using to test the
new gnatstudio PKGBUILD.

https://gist.github.com/charlie5/539b713be41ccf9d74a871764cca9e6b

Hope it helps a bit.


Regards.

charlie5 commented on 2023-06-08 10:30 (UTC)

Hi again,

I've just finished building the gnatstudio stack. The good news is that ada_language_server builds without any source patches. The bad news is that gnatstudio breaks due to a python problem. I'm still investigating that.

I'll be publishing the GS s/w stack tomorrow sometime. I can provide you with a copy of the ALS PKGBUILD, which I've used to test the GS build, if you would find that helpful.

Regards.

tfl5034 commented on 2023-06-03 20:05 (UTC)

There is another option. I could just create an als-bin package using the pre-built binaries from GitHub. If we lose the dynamic linking due to static compiling all the dependencies into the als binary, then there's not much of a benefit to of building the package vs installing the pre-built binary.

1 2 3 4 Next › Last »