diff options
| author | sudokode | 2015-06-08 20:44:23 -0400 |
|---|---|---|
| committer | sudokode | 2015-06-08 20:44:23 -0400 |
| commit | ea7d57f0310137cb0e526de9dd55fdad0b51ff26 (patch) | |
| tree | b4682a09ccf6015c64b0d920ef1c902ef230541b | |
| download | aur-ea7d57f0310137cb0e526de9dd55fdad0b51ff26.tar.gz | |
init
| -rw-r--r-- | .SRCINFO | 14 | ||||
| -rw-r--r-- | PKGBUILD | 37 |
2 files changed, 51 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..2d35131c2c1c --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,14 @@ +pkgbase = isl + pkgdesc = Library for manipulating sets and relations of integer points bounded by linear constraints + pkgver = 0.14 + pkgrel = 1 + url = http://isl.gforge.inria.fr/ + arch = i686 + arch = x86_64 + license = MIT + depends = gmp + source = http://isl.gforge.inria.fr/isl-0.14.tar.xz + sha256sums = b1044f02819da0708fc7071fa2a558ce5d3c29d6676c8cb113caaedd5903ff03 + +pkgname = isl + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..3b19166f88f0 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,37 @@ +# Maintainer: sudokode <sudokode@gmail.com> +# Contributor: Allan McRae <allan@archlinux.org> + +pkgname=isl +pkgver=0.14 +pkgrel=1 +pkgdesc="Library for manipulating sets and relations of integer points bounded by linear constraints" +arch=('i686' 'x86_64') +url="http://isl.gforge.inria.fr/" +depends=('gmp') +license=('MIT') +source=("http://isl.gforge.inria.fr/$pkgname-${pkgver}.tar.xz") +sha256sums=('b1044f02819da0708fc7071fa2a558ce5d3c29d6676c8cb113caaedd5903ff03') + +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 +} |