Initial commit

1 files changed, 32 insertions, 0 deletions

diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..a209ddd17fe0
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,32 @@
+# Maintainer: Rod Kay <charlie5 on #ada at freenode.net>
+# Contributor: Pierre-Marie de Rodat <pmderodat on #ada at freenode.net>
+
+pkgname=gnatcoll-gmp
+pkgver=2018
+pkgrel=1
+
+pkgdesc='GNAT Components Collection - Bindings to GMP'
+url='https://github.com/AdaCore/gnatcoll-bindings/'
+arch=('i686' 'x86_64')
+license=('GPL')
+
+depends=('gcc-ada' 'gmp' 'gnatcoll-core')
+makedepends=('gprbuild')
+
+provides=('gnatcoll-gmp')
+conflicts=('gnatcoll-gmp')
+
+source=('http://mirrors.cdn.adacore.com/art/5b0ce9cfc7a4475261f97ca5')
+sha1sums=('42682c885e4a02bb03786aa9ece3a4214ca419f8')
+
+build()
+{
+    cd "$srcdir/gnatcoll-bindings-gpl-2018-src/gmp"
+    python2 setup.py build -j$(nproc) --prefix=/usr -R
+}
+
+package()
+{
+    cd "$srcdir/gnatcoll-bindings-gpl-2018-src/gmp"
+    python2 setup.py install --prefix="$pkgdir/usr"
+}