diff options
Diffstat (limited to 'system/isl/APKBUILD')
| -rw-r--r-- | system/isl/APKBUILD | 52 |
1 files changed, 52 insertions, 0 deletions
diff --git a/system/isl/APKBUILD b/system/isl/APKBUILD new file mode 100644 index 000000000..9e6957b85 --- /dev/null +++ b/system/isl/APKBUILD @@ -0,0 +1,52 @@ +# Contributor: Timo Teräs <timo.teras@iki.fi> +# Maintainer: Timo Teräs <timo.teras@iki.fi> +pkgname=isl +pkgver=0.18 +pkgrel=0 +pkgdesc="An Integer Set Library for the Polyhedral Model" +url="http://isl.gforge.inria.fr/" +arch="all" +license="MIT" +depends="" +depends_dev="gmp-dev" +makedepends_host="$depends_dev" +makedepends="$makedepends_host" +replaces="cloog" +install="" +subpackages="$pkgname-dev" +source="http://isl.gforge.inria.fr/isl-$pkgver.tar.bz2" + +builddir="$srcdir"/$pkgname-$pkgver + +build() { + cd "$builddir" + ./configure \ + --build=$CBUILD \ + --host=$CHOST \ + --prefix=/usr \ + --mandir=/usr/share/man \ + --infodir=/usr/share/info \ + --localstatedir=/var \ + --with-sysroot=${CBUILDROOT} + make +} + +check() { + cd "$builddir" + make check +} + +package() { + cd "$builddir" + make DESTDIR="$pkgdir" INSTALL="install -D" install +} + +dev() { + default_dev + replaces="cloog-dev" + mkdir -p "$subpkgdir"/usr/share/gdb/python/auto-load/usr/lib + mv "$pkgdir"/usr/lib/*-gdb.py \ + "$subpkgdir"/usr/share/gdb/python/auto-load/usr/lib/ +} + +sha512sums="85d0b40f4dbf14cb99d17aa07048cdcab2dc3eb527d2fbb1e84c41b2de5f351025370e57448b63b2b8a8cf8a0843a089c3263f9baee1542d5c2e1cb37ed39d94 isl-0.18.tar.bz2" |