diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 13 |
1 files changed, 7 insertions, 6 deletions
@@ -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 |