diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 40 |
1 files changed, 40 insertions, 0 deletions
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 +} |