2012-07-01 13:56:38 +00:00
|
|
|
# Template file for 'isl'
|
|
|
|
|
pkgname=isl
|
2012-12-04 08:51:27 +00:00
|
|
|
version=0.11
|
2012-07-01 13:56:38 +00:00
|
|
|
revision=1
|
|
|
|
|
build_style=gnu-configure
|
|
|
|
|
subpackages="isl-devel"
|
|
|
|
|
short_desc="Integer Set Library"
|
|
|
|
|
maintainer="Juan RP <xtraeme@gmail.com>"
|
|
|
|
|
homepage="http://www.kotnet.org/~skimo/isl/"
|
|
|
|
|
license="LGPL-2.1"
|
|
|
|
|
distfiles="http://www.kotnet.org/~skimo/isl/isl-$version.tar.lzma"
|
2012-12-04 08:51:27 +00:00
|
|
|
checksum=26437207dd6c7da00d497a4c700e07f4771b2bbfb021cc3e84feb24525827bc9
|
2012-07-01 13:56:38 +00:00
|
|
|
long_desc="
|
|
|
|
|
isl is a library for manipulating sets and relations of integer points bounded
|
|
|
|
|
by linear constraints. Supported operations on sets include intersection, union,
|
|
|
|
|
set difference, emptiness check, convex hull, (integer) affine hull, integer
|
|
|
|
|
projection, computing the lexicographic minimum using parametric integer
|
|
|
|
|
programming, coalescing and parametric vertex enumeration. It also includes an
|
|
|
|
|
ILP solver based on generalized basis reduction, transitive closures on maps
|
|
|
|
|
(which may encode infinite graphs), dependence analysis and bounds on piecewise
|
|
|
|
|
step-polynomials."
|
|
|
|
|
|
|
|
|
|
post_install() {
|
|
|
|
|
# Remove gdb python files.
|
|
|
|
|
rm -f ${DESTDIR}/usr/lib/*.py
|
|
|
|
|
}
|
