diff options
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -3,7 +3,7 @@ pkgname=isl-git _gitname=isl -pkgver=0.14.1.496.g47edc76 +pkgver=0.16.1.20.gee54b48 pkgrel=1 pkgdesc="Library for manipulating sets and relations of integer points bounded by linear constraints (development version)" arch=('i686' 'x86_64') @@ -38,7 +38,7 @@ package() { make -j1 DESTDIR="$pkgdir/" install install -dm755 $pkgdir/usr/share/gdb/auto-load/usr/lib/ - mv $pkgdir/{,/usr/share/gdb/auto-load/}usr/lib/libisl.so.13.1.1-gdb.py + mv $pkgdir/{,/usr/share/gdb/auto-load/}usr/lib/libisl.so.15.1.1-gdb.py install -Dm644 LICENSE $pkgdir/usr/share/licenses/isl/LICENSE } |