diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 32 |
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" +} |