isl/trunk/PKGBUILD

   1 # Maintainer: Allan McRae <allan@archlinux.org>
   2
   3 pkgname=isl
   4 pkgver=0.13
   5 pkgrel=1
   6 pkgdesc="Library for manipulating sets and relations of integer points bounded by linear constraints"
   7 arch=('x86_64')
   8 url="http://freecode.com/projects/isl"
   9 depends=('gmp')
  10 license=('MIT')
  11 source=(http://isl.gforge.inria.fr/$pkgname-$pkgver.tar.bz2)
  12 md5sums=('e4cf20c4c10d5d613457558b1f46b5e2')
  13
  14
  15 build() {
  16   cd "$srcdir/$pkgname-$pkgver"
  17   ./configure --prefix=/usr
  18   make
  19 }
  20
  21 check() {
  22   cd "$srcdir/$pkgname-$pkgver"
  23   make check
  24 }
  25
  26 package() {
  27   cd "$srcdir/$pkgname-$pkgver"
  28   make DESTDIR="$pkgdir/" install
  29
  30   install -dm755 $pkgdir/usr/share/gdb/auto-load/usr/lib/
  31   mv $pkgdir/usr/lib/libisl.so.*-gdb.py $pkgdir/usr/share/gdb/auto-load/usr/lib/
  32
  33   install -Dm644 LICENSE $pkgdir/usr/share/licenses/isl/LICENSE
  34 }