diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 19 |
1 files changed, 11 insertions, 8 deletions
@@ -1,33 +1,36 @@ # Maintainer: Rod Kay <charlie5 on #ada at freenode.net> pkgname=gnatcoll-gnatinspect -pkgver=2018 -pkgrel=2 +pkgver=2019 +pkgrel=1 pkgdesc='GNAT Components Collection - the gnatinspect tool.' url='https://github.com/AdaCore/gnatcoll-db/' arch=('i686' 'x86_64') license=('GPL') -depends=('gnatcoll-readline>=2018' 'gnatcoll-xref>=2018') -makedepends=('gprbuild>=2018') +depends=('gnatcoll-readline' 'gnatcoll-xref') +makedepends=('gprbuild') + +source=('https://github.com/AdaCore/gnatcoll-db/archive/master.zip') +sha1sums=('dc4186e802daa71ab88170cd91708738c170d2fb') -source=('http://mirrors.cdn.adacore.com/art/5b0ce9cbc7a4475263382be6') -sha1sums=('85c90002bb506e3e72e38d2e6604734402d23a32') build() { - cd "$srcdir/gnatcoll-db-gpl-2018-src/gnatinspect" + cd "$srcdir/gnatcoll-db-master/gnatinspect" make setup BUILD=PROD prefix=/usr make -j1 GPRBUILD_OPTIONS=-R } + package() { - cd "$srcdir/gnatcoll-db-gpl-2018-src/gnatinspect" + cd "$srcdir/gnatcoll-db-master/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 } |