diff options
| -rw-r--r-- | .SRCINFO | 9 | ||||
| -rw-r--r-- | PKGBUILD | 13 |
2 files changed, 11 insertions, 11 deletions
@@ -1,6 +1,6 @@ pkgbase = asis pkgdesc = Allows Ada programs access to the syntactic and semantic structure of source code. Also provides extra tools such as gnatpp. - pkgver = 2018 + pkgver = 2019 pkgrel = 1 url = http://libre.adacore.com/tools arch = i686 @@ -8,12 +8,11 @@ pkgbase = asis groups = gcc-ada license = GPL makedepends = gprbuild - depends = gcc-ada>=8.2.1 - depends = gcc-ada<9.0.0 + depends = gcc-ada depends = gnat_util depends = gnatcoll-core - source = http://mirrors.cdn.adacore.com/art/5b0819e0c7a447df26c27ab8 - sha1sums = c338044768412af787c8cff13c0d952ed688df11 + source = http://mirrors.cdn.adacore.com/art/5cdf849031e87aa2cdf16b10 + sha1sums = 52c69e7295dc301ce670334f8150193ecbec580d pkgname = asis @@ -1,7 +1,7 @@ # Maintainer: Rod Kay <charlie5 on #ada at freenode.net> pkgname=asis -pkgver=2018 +pkgver=2019 pkgrel=1 pkgdesc="Allows Ada programs access to the syntactic and semantic structure of source code. Also provides extra tools such as gnatpp." @@ -10,16 +10,16 @@ url=http://libre.adacore.com/tools license=(GPL) groups=(gcc-ada) -depends=('gcc-ada>=8.2.1' 'gcc-ada<9.0.0' 'gnat_util' 'gnatcoll-core') +depends=('gcc-ada' 'gnat_util' 'gnatcoll-core') makedepends=('gprbuild') -source=(http://mirrors.cdn.adacore.com/art/5b0819e0c7a447df26c27ab8) -sha1sums=('c338044768412af787c8cff13c0d952ed688df11') +source=('http://mirrors.cdn.adacore.com/art/5cdf849031e87aa2cdf16b10') +sha1sums=('52c69e7295dc301ce670334f8150193ecbec580d') build() { - cd $srcdir/$pkgname-gpl-$pkgver-src + cd $srcdir/asis-2019-20190517-18AB5-src make all make tools @@ -28,12 +28,13 @@ build() package() { - cd $srcdir/$pkgname-gpl-$pkgver-src + cd $srcdir/asis-2019-20190517-18AB5-src PREFIX=/usr make install prefix=${pkgdir}/usr PREFIX=/usr make install-tools prefix=${pkgdir}/usr # Rid tools superseded by libadalang-tools. + # rm ${pkgdir}/usr/bin/gnatmetric rm ${pkgdir}/usr/bin/gnatpp rm ${pkgdir}/usr/bin/gnatstub |