diff options
author | Harenome Ranaivoarivony-Razanajato | 2017-03-20 11:09:07 +0100 |
---|---|---|
committer | Harenome Ranaivoarivony-Razanajato | 2017-03-20 11:09:07 +0100 |
commit | 370e738aa517752901196809d4d07dd38b519c7f (patch) | |
tree | 9c970fd6ece093b279d96739d953076a893fb35e /PKGBUILD | |
parent | 74f9a307544d1905bde4824d3f5c8a7d27814e20 (diff) | |
download | aur-piplib.tar.gz |
add links for the new file names of the libraries
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -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 } |