add links for the new file names of the libraries

2 files changed, 7 insertions, 2 deletions

diff --git a/.SRCINFO b/.SRCINFO
index fa600ac35b8c..a3a36a0f6903 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
 pkgbase = piplib
 	pkgdesc = Parametric Integer Programming Library
 	pkgver = 1.4.0
-	pkgrel = 2
+	pkgrel = 3
 	url = http://www.piplib.org/
 	arch = x86_64
 	license = LGPL
diff --git a/PKGBUILD b/PKGBUILD
index cc873c9b29bd..46beedd51149 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,7 +3,7 @@
 
 pkgname=piplib
 pkgver=1.4.0
-pkgrel=2
+pkgrel=3
 pkgdesc="Parametric Integer Programming Library"
 arch=(x86_64)
 url="http://www.piplib.org/"
@@ -28,4 +28,9 @@ check() {
 package() {
   cd "${srcdir}/${pkgname}-${pkgver}"
   make DESTDIR="${pkgdir}/" install
+  for lib in ${pkgdir}/usr/lib/libpiplib*.so*; do
+    lib=$(basename "${lib}")
+    new_name=$(echo "${lib}" | sed 's/32/_sp/;s/64/_dp/;s/MP/_gmp/')
+    ln -s "${lib}" "${pkgdir}/usr/lib/${new_name}"
+  done
 }