diff options
author | Rod Kay | 2018-09-12 03:06:17 +1000 |
---|---|---|
committer | Rod Kay | 2018-09-12 03:06:17 +1000 |
commit | 1c2a208b0e32af623968b8d00f303c2fe6a49a83 (patch) | |
tree | ae9703bf46d34aef1a23b2690bebb59d321aa881 /PKGBUILD | |
parent | 1d46ad7900415288ab791391fd4dd515bbc1e182 (diff) | |
download | aur-1c2a208b0e32af623968b8d00f303c2fe6a49a83.tar.gz |
Improve PKGBUILD
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() |