summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorRod Kay2021-07-16 20:08:49 +1000
committerRod Kay2021-07-16 20:08:49 +1000
commitd75b50c9f06c4f956eb9e652eca64d9edaa37c90 (patch)
treeb2cb8d8f2c5c4ed9c089de1b14d2ecf01aac8ac0
parent87e6739821da231bdb7e1aebf466cfe6886551f1 (diff)
downloadaur-d75b50c9f06c4f956eb9e652eca64d9edaa37c90.tar.gz
Update to the 2021 community release.
-rw-r--r--PKGBUILD23
1 files changed, 14 insertions, 9 deletions
diff --git a/PKGBUILD b/PKGBUILD
index b0a08a6c06a1..b010836bfdb4 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,9 +2,9 @@
# Maintainer: Rod Kay <rodakay5 at gmail dot com>
pkgname=gnatcoll-core
-epoch=1
-pkgver=21.0.0
-pkgrel=4
+_upstream_ver=2021-20210518-19ADF
+pkgver=2021
+pkgrel=1
pkgdesc='Gnat components collection - Core packages.'
url='https://github.com/AdaCore/gnatcoll-core/'
@@ -14,25 +14,30 @@ license=('GPL3' 'custom')
depends=('libgpr')
makedepends=('gprbuild' 'texlive-bin' 'python-sphinx' 'texlive-core' 'texlive-latexextra')
-source=("$pkgname-$pkgver.tar.gz::$url/archive/v$pkgver.tar.gz")
-sha256sums=('daa9b3d5fc5d90b015ece1b48d54192bd06a71fec64bdfc242066f2598c30ff5')
+_checksum=425b044d5cb112f096c7ac5ebbafb0d8e5297913
+source=("${pkgname}-${_upstream_ver}-src.tar.gz::https://community.download.adacore.com/v1/${_checksum}?filename=${pkgname}-${_upstream_ver}-src.tar.gz")
+sha1sums=("$_checksum")
build()
{
- cd "$srcdir/$pkgname-$pkgver"
+ cd "$srcdir/$pkgname-$_upstream_ver-src"
+
+ ADA_FLAGS="$CFLAGS"
+ ADA_FLAGS="${ADA_FLAGS//-Wformat}"
+ ADA_FLAGS="${ADA_FLAGS//-Werror=format-security}"
make setup BUILD=PROD prefix=/usr
- make -j1 GPRBUILD_OPTIONS="-R -cargs $CFLAGS -largs $LDFLAGS -gargs"
+ make -j1 GPRBUILD_OPTIONS="-R -cargs $ADA_FLAGS -largs $LDFLAGS -gargs"
make -C docs html latexpdf
}
package()
{
- cd "$srcdir/$pkgname-$pkgver"
+ 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.
- make prefix="$pkgdir/usr" install -j1
+ make -j1 prefix="$pkgdir/usr" install
# Install the license.
install -D -m644 \