diff options
author | Xiretza | 2020-05-21 15:32:48 +0200 |
---|---|---|
committer | Xiretza | 2020-05-21 15:32:48 +0200 |
commit | 88a00835e4ef7d4cf7b80862e626777f87431bf1 (patch) | |
tree | d34f17ecfce1c7c77ea64099f9d27202708dd8a0 /PKGBUILD | |
parent | 1f715857ebcbdcbb6e460f4db1900237169986df (diff) | |
download | aur-88a00835e4ef7d4cf7b80862e626777f87431bf1.tar.gz |
Update to 2020 release
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 14 |
1 files changed, 8 insertions, 6 deletions
@@ -1,8 +1,9 @@ # Maintainer: Rod Kay <charlie5 on #ada at freenode.net> pkgname=gnatcoll-core -pkgver=2019 -pkgrel=2 +pkgver=2020 +_upstream_ver=2020-20200429-19B7C +pkgrel=1 pkgdesc='Gnat components collection - Core packages.' url='https://github.com/AdaCore/gnatcoll-core/' @@ -15,12 +16,13 @@ makedepends=('gprbuild') provides=('gnatcoll-core') conflicts=('gnatcoll' 'gnatcoll-core-git') -source=('https://community.download.adacore.com/v1/99ea2dc09e018deb14f15c00e8c4b7b21f94c94f?filename=gnatcoll-core-2019-20190515-24AD8-src.tar.gz') -sha1sums=('99ea2dc09e018deb14f15c00e8c4b7b21f94c94f') +_checksum=c94f2ac914cb305f6bef174329fa0b5003d84935 +source=("https://community.download.adacore.com/v1/${_checksum}?filename=${pkgname}-${_upstream_ver}-src.tar.gz") +sha1sums=("$_checksum") build() { - cd $srcdir/gnatcoll-core-2019-20190515-24AD8-src + cd "$srcdir/$pkgname-$_upstream_ver-src" make setup BUILD=PROD prefix=/usr make -j1 GPRBUILD_OPTIONS=-R @@ -28,7 +30,7 @@ build() package() { - cd $srcdir/gnatcoll-core-2019-20190515-24AD8-src + cd "$srcdir/$pkgname-$_upstream_ver-src" # Make one install at a time to avoid GPRinstall reading/writing to # the same installed project files at the same time. |