Package Details: libadalang-tools 2021-2

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: GPL
Submitter: charlie5
Maintainer: charlie5 (xiretza)
Last Packager: xiretza
Votes: 1
Popularity: 0.000000
First Submitted: 2018-09-08 03:22
Last Updated: 2021-07-13 17:56

Latest Comments

charlie5 commented on 2021-07-13 19:24

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

xiretza commented on 2021-07-13 17:58

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

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

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.