Remove the new GNATCOL.OS.* packages

See the TODO in prepare().

1 files changed, 16 insertions, 4 deletions

diff --git a/PKGBUILD b/PKGBUILD
index f1dd0a4b6782..8c888c78ee9b 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,8 +1,8 @@
 # Maintainer: Pierre-Marie de Rodat <pmderodat on #ada at freenode.net>
 
 pkgname=gnatcoll-core-git
-pkgver=r2835.ed921e27
-pkgrel=2
+pkgver=r3121.78b9de8c
+pkgrel=1
 
 pkgdesc='GNAT Components Collection - Core packages'
 url='https://github.com/AdaCore/gnatcoll-core/'
@@ -15,8 +15,10 @@ makedepends=('git' 'gprbuild')
 provides=('gnatcoll-core')
 conflicts=('gnatcoll-core' 'gnatcoll')
 
-source=('git+https://github.com/AdaCore/gnatcoll-core.git')
-sha1sums=('SKIP')
+source=('git+https://github.com/AdaCore/gnatcoll-core.git'
+        'remove-os.patch')
+sha1sums=('SKIP'
+          '5e22130f6cb04bfdffb930c29e0abbda7be53514')
 
 pkgver() {
     cd "$srcdir/${pkgname%-git}"
@@ -25,6 +27,16 @@ 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}"