summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorRod Kay2018-09-12 03:06:17 +1000
committerRod Kay2018-09-12 03:06:17 +1000
commit1c2a208b0e32af623968b8d00f303c2fe6a49a83 (patch)
treeae9703bf46d34aef1a23b2690bebb59d321aa881 /PKGBUILD
parent1d46ad7900415288ab791391fd4dd515bbc1e182 (diff)
downloadaur-1c2a208b0e32af623968b8d00f303c2fe6a49a83.tar.gz
Improve PKGBUILD
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD12
1 files changed, 4 insertions, 8 deletions
diff --git a/PKGBUILD b/PKGBUILD
index af22c96853d9..1d74454bb4e5 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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()