Package Details: libadalang-tools 1:25.0w-1

Git Clone URL: https://aur.archlinux.org/libadalang-tools.git (read-only, click to copy)
Package Base: libadalang-tools
Description: Libadalang-based tools for Ada: gnatpp, gnatmetric and gnatstub.
Upstream URL: https://github.com/AdaCore/libadalang-tools
Licenses: GPL3
Submitter: charlie5
Maintainer: charlie5
Last Packager: charlie5
Votes: 2
Popularity: 0.38
First Submitted: 2018-09-08 03:22 (UTC)
Last Updated: 2024-05-31 06:33 (UTC)

Pinned Comments

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

This package is available in the Arch Ada Repository.

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

Latest Comments

charlie5 commented on 2023-10-20 22:46 (UTC)

@Herve_R

Added ... thanks.

Herve_R commented on 2023-10-20 08:17 (UTC)

Seems to be missing 'gpr' as a makedepends.

charlie5 commented on 2023-09-05 13:15 (UTC)

hi @slondr

Right you are. Thanks for reporting.

Regards.

slondr commented on 2023-09-04 23:06 (UTC)

Seems to be missing a dependency on libvss

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

This package is available in the Arch Ada Repository.

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

charlie5 commented on 2021-07-13 19:24 (UTC)

Thanks for the diff @tfl5034. I should have them in and pushed tomorrow sometime.

xiretza commented on 2021-07-13 17:58 (UTC)

The PKGBUILD now builds both the binaries and the library and installs them properly. Because libadalang can only be built as relocatable, so is lal-tools - building static/static-pic will require some more work, so please let us know if you need it.

tfl5034 commented on 2021-07-13 02:15 (UTC)

I'm not sure if this is the best "fix", but here are my changes to the PKGBUILD

diff --git a/PKGBUILD b/PKGBUILD
index 7a64f8b..a3124d2 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -5,7 +5,7 @@
 pkgname=libadalang-tools
 _upstream_ver=2021-20210519-19A69
 pkgver=2021
-pkgrel=1
+pkgrel=2

 pkgdesc="Libadalang-based tools for Ada: gnatpp, gnatmetric and gnatstub"
 url='https://github.com/AdaCore/libadalang-tools'
@@ -45,8 +45,8 @@ package()
 {
     cd "$srcdir/$pkgname-$_upstream_ver-src"

-    install -Dm755 -t "$pkgdir/usr/bin/" bin/{gnatpp,gnatmetric,gnatstub}
-    
+    make install-lib install-bin-strip DESTDIR=$pkgdir/usr
+
     # Install the license.
     install -D -m644 \
        "COPYING3"    \

tfl5034 commented on 2021-07-13 01:47 (UTC)

I am working on updating ada_language_server to use this package as a dependency, but that requires lal_tools.gpr to be installed. I will see if I can come up with a PKGBUILD diff that resolves the issue for me and post it here.