diff options
author | Rod Kay | 2021-06-20 19:45:25 +1000 |
---|---|---|
committer | Rod Kay | 2021-06-20 19:45:25 +1000 |
commit | 192dfe256ad1c946fa7b5f7ae200eb233adc6ae7 (patch) | |
tree | 2ab117e731ba9ac9ad68639620d737b9b016324a /PKGBUILD | |
parent | 14a0d7bde77c4d74f717cb3337cd4150d3006571 (diff) | |
download | aur-192dfe256ad1c946fa7b5f7ae200eb233adc6ae7.tar.gz |
Pin build to a stable git commit.
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 53 |
1 files changed, 31 insertions, 22 deletions
@@ -1,38 +1,47 @@ # Maintainer: xiretza <xiretza+aur@gmail.com> -# Maintainer: Rod Kay <charlie5 on #ada at freenode.net> +# Maintainer: Rod Kay <rodakay5 at gmail dot com> pkgname=gnatcoll-core -epoch=1 -pkgver=21.0.0 -pkgrel=2 - -pkgdesc='Gnat components collection - Core packages.' +pkgver=r3152.7be06227 +pkgrel=1 +pkgdesc='Ada Gnat components collection - Core packages.' url='https://github.com/AdaCore/gnatcoll-core/' arch=('i686' 'x86_64') -license=('GPL') - +license=('GPL3' 'custom') depends=('libgpr') -makedepends=('gprbuild') - -provides=('gnatcoll-core') -conflicts=('gnatcoll' 'gnatcoll-core-git') - -source=("$pkgname-$pkgver.tar.gz::$url/archive/v$pkgver.tar.gz") -sha256sums=('daa9b3d5fc5d90b015ece1b48d54192bd06a71fec64bdfc242066f2598c30ff5') +makedepends=('git' 'gcc-ada' 'gprbuild' 'texlive-bin') +source=('git+https://github.com/AdaCore/gnatcoll-core.git#commit=7be06227856aac9ec3aade5a412ade84a1b41469') +sha1sums=('SKIP') + +pkgver() { + cd "$srcdir/$pkgname" + printf "r%s.%s" \ + "$(git rev-list --count HEAD)" \ + "$(git rev-parse --short HEAD)" +} -build() -{ - cd "$srcdir/$pkgname-$pkgver" +build() { + cd "$srcdir/$pkgname" make setup BUILD=PROD prefix=/usr - make -j1 GPRBUILD_OPTIONS="-R -cargs $CFLAGS -largs $LDFLAGS -gargs" + make GPRBUILD_OPTIONS="-R" + make -C docs html latexpdf } -package() -{ - cd "$srcdir/$pkgname-$pkgver" +package() { + cd "$srcdir/$pkgname" # 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 + + # Install the license. + install -D -m644 \ + "COPYING3" \ + "$pkgdir/usr/share/licenses/$pkgname/COPYING3" + + # Install the custom license. + install -D -m644 \ + "COPYING.RUNTIME" \ + "$pkgdir/usr/share/licenses/$pkgname/COPYING.RUNTIME" } |