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

Git Clone URL: (read-only, click to copy)
Package Base: libadalang-tools
Description: Libadalang-based tools for Ada: gnatpp, gnatmetric and gnatstub.
Upstream URL:
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.

Latest Comments

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


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.


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.

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
@@ -5,7 +5,7 @@

 pkgdesc="Libadalang-based tools for Ada: gnatpp, gnatmetric and gnatstub"
@@ -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.