Initial commit

1 files changed, 37 insertions, 0 deletions

diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..af22c96853d9
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,37 @@
+# Maintainer: Rod Kay <charlie5 on #ada at freenode.net>
+
+pkgname=gnatcoll-gnatinspect
+pkgver=2018
+pkgrel=1
+
+pkgdesc='GNAT Components Collection - the gnatinspect tool.'
+url='https://github.com/AdaCore/gnatcoll-db/'
+arch=('i686' 'x86_64')
+license=('GPL')
+
+depends=('gcc-ada' 'gnatcoll-core' 'gnatcoll-readline' 'gnatcoll-xref' 'gnatcoll-sqlite')
+makedepends=('gprbuild')
+
+provides=('gnatcoll-gnatinspect')
+conflicts=('gnatcoll-gnatinspect')
+
+source=('http://mirrors.cdn.adacore.com/art/5b0ce9cbc7a4475263382be6')
+sha1sums=('85c90002bb506e3e72e38d2e6604734402d23a32')
+
+
+build()
+{
+    cd "$srcdir/gnatcoll-db-gpl-2018-src/gnatinspect"
+
+    make setup BUILD=PROD prefix=/usr
+    make PROCESSORS="$(nproc)" GPRBUILD_OPTIONS=-R
+}
+
+package()
+{
+    cd "$srcdir/gnatcoll-db-gpl-2018-src/gnatinspect"
+
+    # Make one install at a time to avoid GPRinstall reading/writing to
+    # the same installed project files at the same time.
+    make prefix="$pkgdir/usr" install -j1
+}