summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorRod Kay2018-09-12 03:06:29 +1000
committerRod Kay2018-09-12 03:06:29 +1000
commit73104b860bdd9eb513cbca5bac9e045cc4649810 (patch)
tree40c47990dc5f193fe429aade2974bcc3b6a4dc07
parentc756bdec648d7b876fea909cbe581ac514b28555 (diff)
downloadaur-73104b860bdd9eb513cbca5bac9e045cc4649810.tar.gz
Improve PKGBUILD
-rw-r--r--.SRCINFO5
-rw-r--r--PKGBUILD7
2 files changed, 7 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 6a7504152890..53e5ab161d99 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,12 +1,13 @@
pkgbase = libadalang-tools
pkgdesc = Libadalang-based tools: gnatpp, gnatmetric and gnatstub
pkgver = 2018
- pkgrel = 1
+ pkgrel = 2
url = https://github.com/AdaCore/libadalang-tools
arch = i686
arch = x86_64
license = GPL
- depends = libadalang
+ makedepends = gprbuild>=2018
+ depends = libadalang>=2018
source = http://mirrors.cdn.adacore.com/art/5b0819dfc7a447df26c27a59
source = workaround-gnat-bug.patch
sha1sums = 034e5443a94336f6aca020c916ddf8f30598f8bf
diff --git a/PKGBUILD b/PKGBUILD
index 725b418bbd69..0a061da3f526 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,14 +3,15 @@
pkgname=libadalang-tools
pkgver=2018
-pkgrel=1
+pkgrel=2
pkgdesc="Libadalang-based tools: gnatpp, gnatmetric and gnatstub"
url='https://github.com/AdaCore/libadalang-tools'
arch=('i686' 'x86_64')
license=('GPL')
-depends=('libadalang')
+depends=('libadalang>=2018')
+makedepends=("gprbuild>=2018")
source=('http://mirrors.cdn.adacore.com/art/5b0819dfc7a447df26c27a59'
'workaround-gnat-bug.patch')
@@ -31,7 +32,7 @@ build()
# be set.
source /etc/profile.d/quex.sh
- make BUILD_MODE=prod LIBRARY_TYPE=relocatable PROCESSORS=`nproc`
+ make -j1 BUILD_MODE=prod LIBRARY_TYPE=relocatable
}
package()