diff options
author | Rod Kay | 2018-09-07 13:34:42 +1000 |
---|---|---|
committer | Rod Kay | 2018-09-07 13:34:42 +1000 |
commit | 66a647b8bf9b8831b3d8e7d367f04adae642207d (patch) | |
tree | ede89e7e92f1a78764a0f62eb589f2063bbfcb83 | |
download | aur-66a647b8bf9b8831b3d8e7d367f04adae642207d.tar.gz |
Initial commit
-rw-r--r-- | .SRCINFO | 19 | ||||
-rw-r--r-- | PKGBUILD | 32 |
2 files changed, 51 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..3e6d9257e6cb --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,19 @@ +pkgbase = gnatcoll-gmp + pkgdesc = GNAT Components Collection - Bindings to GMP + pkgver = 2018 + pkgrel = 1 + url = https://github.com/AdaCore/gnatcoll-bindings/ + arch = i686 + arch = x86_64 + license = GPL + makedepends = gprbuild + depends = gcc-ada + depends = gmp + depends = gnatcoll-core + provides = gnatcoll-gmp + conflicts = gnatcoll-gmp + source = http://mirrors.cdn.adacore.com/art/5b0ce9cfc7a4475261f97ca5 + sha1sums = 42682c885e4a02bb03786aa9ece3a4214ca419f8 + +pkgname = gnatcoll-gmp + 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" +} |