summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorRod Kay2017-06-14 21:09:04 +1000
committerRod Kay2017-06-14 21:09:04 +1000
commit82d4d17b3ba35c71e9d147f26786872a85c31b8b (patch)
treea8f926a62c931517666bf0e729344337d6a5d2db
parent7a23c0f7bc18188d1430688cd06d090d813a1780 (diff)
downloadaur-82d4d17b3ba35c71e9d147f26786872a85c31b8b.tar.gz
Use gpl17 sources
-rw-r--r--.SRCINFO10
-rw-r--r--PKGBUILD34
2 files changed, 20 insertions, 24 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 9a55aa7cd767..5fc02151ee5f 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,9 +1,9 @@
# Generated by mksrcinfo v8
-# Tue Jun 6 20:47:37 UTC 2017
+# Wed Jun 14 11:08:56 UTC 2017
pkgbase = gprbuild
- pkgdesc = multi-language build system
+ pkgdesc = Multi-language build system.
pkgver = 2017
- pkgrel = 1
+ pkgrel = 2
url = http://www.adacore.com/gnatpro/toolsuite/gprbuild/
arch = i686
arch = x86_64
@@ -15,9 +15,9 @@ pkgbase = gprbuild
provides = gprbuild-bootstrap
conflicts = gprbuild
conflicts = gprbuild-bootstrap
- source = git+https://github.com/AdaCore/gprbuild
+ source = http://mirrors.cdn.adacore.com/art/591c45e2c7a447af2deecff7
source = expose-cargs-and-largs-makefile.patch
- sha1sums = SKIP
+ sha1sums = f956aa57c58c342a958332c8cd98e6481e9ce593
sha1sums = bda77367bc6985c3daf96929cccf5551a0544237
pkgname = gprbuild
diff --git a/PKGBUILD b/PKGBUILD
index 89f4c5ab7303..19ce693f71a8 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,9 +1,8 @@
pkgname=gprbuild
-#pkgver=r3147.g18e2bc01
pkgver=2017
-pkgrel=1
+pkgrel=2
-pkgdesc='multi-language build system'
+pkgdesc='Multi-language build system.'
url='http://www.adacore.com/gnatpro/toolsuite/gprbuild/'
arch=('i686' 'x86_64')
license=('GPL')
@@ -16,19 +15,16 @@ makedepends=('git' 'gprbuild-bootstrap')
provides=('gprbuild' 'gprbuild-bootstrap')
conflicts=('gprbuild' 'gprbuild-bootstrap')
-source=('git+https://github.com/AdaCore/gprbuild'
+source=('http://mirrors.cdn.adacore.com/art/591c45e2c7a447af2deecff7'
'expose-cargs-and-largs-makefile.patch')
-sha1sums=('SKIP'
+sha1sums=('f956aa57c58c342a958332c8cd98e6481e9ce593'
'bda77367bc6985c3daf96929cccf5551a0544237')
-#pkgver() {
-# cd gprbuild
-# printf 'r%s.g%s' "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)"
-#}
-prepare() {
- cd gprbuild
+prepare()
+{
+ cd gprbuild-gpl-2017-src
patch -Np1 -i "$srcdir"/expose-cargs-and-largs-makefile.patch
# Not everyone is Debian
@@ -38,18 +34,18 @@ prepare() {
share/gprconfig/gnat.xml
}
-build() {
- cd gprbuild
-# export OS=UNIX
-# make prefix=/usr PROCESSORS="$(nproc)" setup
+
+build()
+{
+ cd gprbuild-gpl-2017-src
make prefix=/usr setup
make all
-# make GPRBUILD_OPTIONS=-R
}
-package() {
- cd gprbuild
-# export OS=UNIX
+
+package()
+{
+ cd gprbuild-gpl-2017-src
make prefix="$pkgdir"/usr install
# Cleanup