diff options
author | Timo Sarawinski | 2018-09-01 00:26:13 +0200 |
---|---|---|
committer | Timo Sarawinski | 2018-09-01 00:26:13 +0200 |
commit | 0f132b6fafc7f576286003e2257a46b100a0a291 (patch) | |
tree | 00ac0742ff2b4a3075d22434a2246f1bd118b891 | |
download | aur-0f132b6fafc7f576286003e2257a46b100a0a291.tar.gz |
initial
-rw-r--r-- | .SRCINFO | 21 | ||||
-rw-r--r-- | PKGBUILD | 40 |
2 files changed, 61 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..d234b5df52e7 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,21 @@ +pkgbase = isl19 + pkgdesc = Library for manipulating sets and relations of integer points bounded by linear constraints + pkgver = 0.19 + pkgrel = 1 + url = http://isl.gforge.inria.fr/ + arch = i686 + arch = x86_64 + license = MIT + makedepends = git + depends = gmp + conflicts = isl-git + conflicts = isl + conflicts = isl14 + conflicts = isl15 + conflicts = isl16 + conflicts = isl17 + source = isl::git+http://repo.or.cz/isl.git + sha256sums = SKIP + +pkgname = isl19 + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..3ea7802fa30a --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,40 @@ +# Maintainer: Kritias <theodoridisgr@gmail.com> +# Contributor: sudokode <sudokode@gmail.com> +# Contributor: Allan McRae <allan@archlinux.org> + +pkgname=isl19 +_pkgname=isl +pkgver=0.19 +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/" +makedepends=('git') +depends=('gmp') +license=('MIT') +conflicts=('isl-git' 'isl' 'isl14' 'isl15' 'isl16' 'isl17') +source=("isl::git+http://repo.or.cz/isl.git") +sha256sums=('SKIP') + +build() { + cd ${srcdir}/${_pkgname} + ./autogen.sh + ./configure --prefix=/usr + make +} + +check() { + cd ${srcdir}/${_pkgname} + make check +} + +package() { + cd ${srcdir}/${_pkgname} + + 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 +} |