diff options
| -rw-r--r-- | isl/PKGBUILD | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/isl/PKGBUILD b/isl/PKGBUILD deleted file mode 100644 index c8af5d2a9..000000000 --- a/isl/PKGBUILD +++ /dev/null @@ -1,42 +0,0 @@ -# Maintainer: Erich Eckner <arch at eckner dot net> -# Contributor: sudokode <sudokode@gmail.com> -# Contributor: Allan McRae <allan@archlinux.org> - -pkgname=isl -pkgver=0.24 -pkgrel=1 -pkgdesc="Library for manipulating sets and relations of integer points bounded by linear constraints" -arch=('i686' 'pentium4' 'x86_64') -url="http://isl.gforge.inria.fr/" -_pinned_dependencies=( - 'glibc>=2.31' - 'gmp=6.2.1' -) -depends=("${_pinned_dependencies[@]}") -license=('MIT') -source=("http://isl.gforge.inria.fr/$pkgname-${pkgver}.tar.xz") -sha512sums=('ff6bdcff839e1cd473f2a0c1e4dd4a3612ec6fee4544ccbc62b530a7248db2cf93b4b99bf493a86ddf2aba00e768927265d5d411f92061ea85fd7929073428e8') - -build() { - cd $pkgname-$pkgver - - ./configure --prefix=/usr - make -} - -check() { - cd $pkgname-$pkgver - - make check -} - -package() { - cd $pkgname-$pkgver - - make DESTDIR="$pkgdir" install - - install -dm755 "$pkgdir"/usr/share/gdb/auto-load/usr/lib/ - mv "$pkgdir"/usr/lib/libisl.so.*-gdb.py "$pkgdir"/usr/share/gdb/auto-load/usr/lib/ - - install -Dm644 LICENSE "$pkgdir"/usr/share/licenses/isl/LICENSE -} |