Fixed missing dependency on polylib-gmp

2 files changed, 5 insertions, 2 deletions

diff --git a/.SRCINFO b/.SRCINFO
index cc7990a7456c..b88b97f5cd92 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
 pkgbase = polylib
 	pkgdesc = A library of polyhedral functions
 	pkgver = 5.22.5
-	pkgrel = 4
+	pkgrel = 5
 	url = http://icps.u-strasbg.fr/polylib/
 	arch = i686
 	arch = x86_64
@@ -13,4 +13,5 @@ pkgbase = polylib
 pkgname = polylib
 
 pkgname = polylib-gmp
+	depends = polylib>=5.22.5
 
diff --git a/PKGBUILD b/PKGBUILD
index 0b17839907e9..1f54dc0133b0 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,7 +3,7 @@
 pkgname=('polylib' 'polylib-gmp')
 pkgbase='polylib'
 pkgver='5.22.5'
-pkgrel=4
+pkgrel=5
 pkgdesc='A library of polyhedral functions'
 arch=('i686' 'x86_64')
 url='http://icps.u-strasbg.fr/polylib/'
@@ -50,6 +50,8 @@ package_polylib() {
 }
 
 package_polylib-gmp() {
+    depends=("polylib>=$pkgver")
+
     cd "$srcdir/$pkgbase-$pkgver/polylibgmp"
     make DESTDIR="$pkgdir" install-exec