diff options
author | Pierre-Marie de Rodat | 2021-05-24 08:15:05 +0200 |
---|---|---|
committer | Pierre-Marie de Rodat | 2021-05-24 08:15:05 +0200 |
commit | 439d54a9572e1ca4b45543fda56ff669c7a31572 (patch) | |
tree | 33ac271aa5cafdee1080380d237996258387aa6a /PKGBUILD | |
parent | f88e3c162b538bba09204d7eaa5cf341291b3ef4 (diff) | |
download | aur-gnatcoll-core-git.tar.gz |
Stop removing GNATCOLL.OS packages now that Arch uses GCC 11
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 18 |
1 files changed, 3 insertions, 15 deletions
@@ -1,7 +1,7 @@ # Maintainer: Pierre-Marie de Rodat <pmderodat on #ada at freenode.net> pkgname=gnatcoll-core-git -pkgver=r3121.78b9de8c +pkgver=r3146.6ea9064e pkgrel=1 pkgdesc='GNAT Components Collection - Core packages' @@ -15,10 +15,8 @@ makedepends=('git' 'gprbuild') provides=('gnatcoll-core') conflicts=('gnatcoll-core' 'gnatcoll') -source=('git+https://github.com/AdaCore/gnatcoll-core.git' - 'remove-os.patch') -sha1sums=('SKIP' - '5e22130f6cb04bfdffb930c29e0abbda7be53514') +source=('git+https://github.com/AdaCore/gnatcoll-core.git') +sha1sums=('SKIP') pkgver() { cd "$srcdir/${pkgname%-git}" @@ -27,16 +25,6 @@ pkgver() { "$(git rev-parse --short HEAD)" } -prepare() { - cd "$srcdir/${pkgname%-git}" - - # TODO: The new GNATCOLL.OS.* packages depend on new runtime features (for - # instance: Interfaces.C.unsigned_long_long). These will be available only - # in future GCC releases (11 and later), so just do without them for now. - patch -Np1 -i "$srcdir/remove-os.patch" - rm src/os/gnatcoll-os-* -} - build() { cd "$srcdir/${pkgname%-git}" |