Use --gpr-opts to pass -R during the build

2 files changed, 3 insertions, 3 deletions

diff --git a/.SRCINFO b/.SRCINFO
index a8c7a01e3ed6..56655ddd4665 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = gnatcoll-gmp-git
 	pkgdesc = GNAT Components Collection - Bindings to GMP
-	pkgver = r2778.93907d7d
+	pkgver = r2796.8160d1d9
 	pkgrel = 1
 	url = https://github.com/AdaCore/gnatcoll-bindings/
 	arch = i686
diff --git a/PKGBUILD b/PKGBUILD
index 33c1ad118265..72ff86185fa0 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
 # Maintainer: Pierre-Marie de Rodat <pmderodat on #ada at freenode.net>
 
 pkgname=gnatcoll-gmp-git
-pkgver=r2778.93907d7d
+pkgver=r2796.8160d1d9
 pkgrel=1
 
 pkgdesc='GNAT Components Collection - Bindings to GMP'
@@ -33,7 +33,7 @@ prepare()
 build()
 {
     cd "$srcdir/gnatcoll-bindings/gmp"
-    python2 setup.py build -j$(nproc) --prefix=/usr -R
+    python2 setup.py build -j$(nproc) --prefix=/usr --gpr-opts -R
 }
 
 package()