Initial commit

3 files changed, 75 insertions, 0 deletions

diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..6a7504152890
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,16 @@
+pkgbase = libadalang-tools
+	pkgdesc = Libadalang-based tools: gnatpp, gnatmetric and gnatstub
+	pkgver = 2018
+	pkgrel = 1
+	url = https://github.com/AdaCore/libadalang-tools
+	arch = i686
+	arch = x86_64
+	license = GPL
+	depends = libadalang
+	source = http://mirrors.cdn.adacore.com/art/5b0819dfc7a447df26c27a59
+	source = workaround-gnat-bug.patch
+	sha1sums = 034e5443a94336f6aca020c916ddf8f30598f8bf
+	sha1sums = 366bc80b768bbb15993b3e896c7aa28ee6f8b2da
+
+pkgname = libadalang-tools
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..725b418bbd69
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,46 @@
+# Maintainer: Rod Kay <charlie5 on #ada at freenode.net>
+# Contributor: Pierre-Marie de Rodat <pmderodat on #ada at freenode.net>
+
+pkgname=libadalang-tools
+pkgver=2018
+pkgrel=1
+
+pkgdesc="Libadalang-based tools: gnatpp, gnatmetric and gnatstub"
+url='https://github.com/AdaCore/libadalang-tools'
+arch=('i686' 'x86_64')
+license=('GPL')
+
+depends=('libadalang')
+
+source=('http://mirrors.cdn.adacore.com/art/5b0819dfc7a447df26c27a59'
+        'workaround-gnat-bug.patch')
+sha1sums=('034e5443a94336f6aca020c916ddf8f30598f8bf'
+          '366bc80b768bbb15993b3e896c7aa28ee6f8b2da')
+
+prepare()
+{
+    cd "$srcdir/libadalang-tools-src"
+    patch -Np0 -i "$srcdir/workaround-gnat-bug.patch"
+}
+
+build() 
+{
+    cd "$srcdir/libadalang-tools-src"
+
+    # In order to build the generated library, Langkit expects the QUEX_PATH to
+    # be set.
+    source /etc/profile.d/quex.sh
+
+    make BUILD_MODE=prod LIBRARY_TYPE=relocatable PROCESSORS=`nproc`
+}
+
+package()
+{
+    cd "$srcdir/libadalang-tools-src"
+
+    mkdir -p "$pkgdir/usr/bin"
+    for program in gnatpp gnatmetric gnatstub
+    do
+        install -m755 bin/$program "$pkgdir/usr/bin/"
+    done
+}
diff --git a/workaround-gnat-bug.patch b/workaround-gnat-bug.patch
new file mode 100644
index 000000000000..bd4326016e18
--- /dev/null
+++ b/workaround-gnat-bug.patch
@@ -0,0 +1,13 @@
+diff --git src/pp-formatting.adb src/pp-formatting.adb
+index c4539a77..5da22b54 100644
+--- src/pp-formatting.adb
++++ src/pp-formatting.adb
+@@ -60,7 +60,8 @@ package body Pp.Formatting is
+ 
+    subtype Ada_Node is Libadalang.Analysis.Ada_Node;
+    use type Ada_Node;
+-   function Is_Null (Tree : Ada_Node) return Boolean is (Tree.Is_Null);
++   function Is_Null (Tree : Ada_Node) return Boolean is
++     (Libadalang.Analysis.Is_Null (Tree));
+    function T_Img (Tree : Ada_Node) return String is
+      (Libadalang.Analysis.Short_Image (Tree));