summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD18
1 files changed, 3 insertions, 15 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 8c888c78ee9b..c97ce7121b67 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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}"