diff options
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}" |