# Contributor: Timo Teräs <timo.teras@iki.fi>
# Maintainer: Timo Teräs <timo.teras@iki.fi>
setvar pkgname = 'isl'
setvar pkgver = '0.18'
setvar pkgrel = '0'
setvar pkgdesc = ""An Integer Set Library for the Polyhedral Model""
setvar url = ""http://isl.gforge.inria.fr/""
setvar arch = ""all""
setvar license = ""MIT""
setvar depends = """"
setvar depends_dev = ""gmp-dev""
setvar makedepends_host = "$depends_dev"
setvar makedepends = "$makedepends_host"
setvar replaces = ""cloog""
setvar install = """"
setvar subpackages = ""$pkgname-dev""
setvar source = ""http://isl.gforge.inria.fr/isl-$pkgver.tar.bz2""

setvar builddir = ""$srcdir"/$pkgname-$pkgver"

proc build {
	cd $builddir
	./configure \
		--build=$CBUILD \
		--host=$CHOST \
		--prefix=/usr \
		--mandir=/usr/share/man \
		--infodir=/usr/share/info \
		--localstatedir=/var \
		--with-sysroot=${CBUILDROOT}
	make
}

proc check {
	cd $builddir
	make check
}

proc package {
	cd $builddir
	make DESTDIR="$pkgdir" INSTALL="install -D" install
}

proc dev {
	default_dev
	setvar 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/
}

setvar sha512sums = ""85d0b40f4dbf14cb99d17aa07048cdcab2dc3eb527d2fbb1e84c41b2de5f351025370e57448b63b2b8a8cf8a0843a089c3263f9baee1542d5c2e1cb37ed39d94  isl-0.18.tar.bz2""