Arch Linux User Repository

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

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.

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"    \

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.