diff options
| author | Timo Teräs <timo.teras@iki.fi> | 2014-08-06 16:01:06 +0300 |
|---|---|---|
| committer | Timo Teräs <timo.teras@iki.fi> | 2014-08-06 16:03:02 +0300 |
| commit | 8c3a10f84e6a1278c0697c0cfa523bae52b32612 (patch) | |
| tree | 2241df4564531102636ce7a9153f1bea95a9f937 | |
| parent | 6225bef55db90bc71f1701290fdc335145cc7e6d (diff) | |
| download | aports-8c3a10f84e6a1278c0697c0cfa523bae52b32612.tar.bz2 aports-8c3a10f84e6a1278c0697c0cfa523bae52b32612.tar.xz | |
main/isl013: upgrade to 0.13 (from main/isl)
added as separate pkgname to allow incremental rebuild of toolchain
as isl is part of toolchain dependency. without changing pkgname and
allowing side-by-side install with old version a full toolchain
bootstrap would be needed.
| -rw-r--r-- | main/isl013/APKBUILD | 61 |
1 files changed, 61 insertions, 0 deletions
diff --git a/main/isl013/APKBUILD b/main/isl013/APKBUILD new file mode 100644 index 0000000000..283fa7f01c --- /dev/null +++ b/main/isl013/APKBUILD @@ -0,0 +1,61 @@ +# Contributor: Timo Teräs <timo.teras@iki.fi> +# Maintainer: Timo Teräs <timo.teras@iki.fi> +_name=isl +pkgname=${_name}013 +pkgver=0.13 +pkgrel=0 +pkgdesc="An Integer Set Library for the Polyhedral Model" +url="http://freecode.com/projects/isl" +arch="all" +license="MIT" +depends="" +depends_dev="gmp-dev" +makedepends_host="$depends_dev" +makedepends="$makedepends_host" +replaces="cloog" +install="" +subpackages="$_name-dev" +source="http://isl.gforge.inria.fr/isl-$pkgver.tar.bz2" + +_builddir="$srcdir"/$_name-$pkgver +prepare() { + local i + cd "$_builddir" + for i in $source; do + case $i in + *.patch) msg $i; patch -p1 -i "$srcdir"/$i || return 1;; + esac + done +} + +build() { + cd "$_builddir" + ./configure \ + --build=$CBUILD \ + --host=$CHOST \ + --prefix=/usr \ + --mandir=/usr/share/man \ + --infodir=/usr/share/info \ + --localstatedir=/var \ + --with-sysroot=${CBUILDROOT} \ + || return 1 + make || return 1 +} + +package() { + cd "$_builddir" + make DESTDIR="$pkgdir" INSTALL="install -D" install || return 1 + rm -f "$pkgdir"/usr/lib/*.la +} + +dev() { + default_dev || return 1 + 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/ +} + +md5sums="e4cf20c4c10d5d613457558b1f46b5e2 isl-0.13.tar.bz2" +sha256sums="7265fd897b7f9147fde76560f28ed18f2c20e5f5da7f4bd9d0e01f8a713401f1 isl-0.13.tar.bz2" +sha512sums="ac94cc6448ce8ed5ccf987fb29d86ddd5a63c904a83df3f24f66cde25e5657180a3f2b55b207635d43930e92c860d1043d3f14e9e715d593d53c956eb8346743 isl-0.13.tar.bz2" |