diff options
| author | Erich Eckner <git@eckner.net> | 2016-05-25 13:35:17 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2016-05-25 17:03:03 +0200 |
| commit | 7d19f3b271b345ec2d8c053bd9341ca4e2f9068a (patch) | |
| tree | 88f65760cef842c551cc9c7ff08c695f56b66127 /isl | |
| parent | 191cd11b074ecfc8fd3ad6756a525a15d84b8a0b (diff) | |
| download | archlinuxewe.git.save-7d19f3b271b345ec2d8c053bd9341ca4e2f9068a.tar.xz | |
isl neu
Diffstat (limited to 'isl')
| -rw-r--r-- | isl/PKGBUILD | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/isl/PKGBUILD b/isl/PKGBUILD new file mode 100644 index 00000000..6e25467d --- /dev/null +++ b/isl/PKGBUILD @@ -0,0 +1,38 @@ +# Maintainer: Erich Eckner <arch at eckner dot net> +# Contributor: sudokode <sudokode@gmail.com> +# Contributor: Allan McRae <allan@archlinux.org> + +pkgname=isl +pkgver=0.16 +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=('c72f77019e5d831a9b0b9152428e507fbcbb111aa544baa4e2ba184b5e8caf9c') + +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 +} |