diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 12 |
1 files changed, 4 insertions, 8 deletions
@@ -2,29 +2,25 @@ pkgname=gnatcoll-gnatinspect pkgver=2018 -pkgrel=1 +pkgrel=2 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') +depends=('gnatcoll-readline>=2018' 'gnatcoll-xref>=2018') +makedepends=('gprbuild>=2018') 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 + make -j1 GPRBUILD_OPTIONS=-R } package() |