2009-11-14 17:33:43 +00:00
|
|
|
# Template file for 'ppl'
|
|
|
|
|
pkgname=ppl
|
2011-02-28 10:10:37 +00:00
|
|
|
version=0.11.2
|
2011-10-17 08:11:33 +00:00
|
|
|
distfiles="http://bugseng.com/products/ppl/download/ftp/releases/${version}/ppl-${version}.tar.bz2"
|
2011-10-24 12:14:47 +00:00
|
|
|
build_style=gnu-configure
|
2009-11-14 17:33:43 +00:00
|
|
|
configure_args="--disable-rpath --enable-interfaces=c,cxx
|
2011-02-28 10:10:37 +00:00
|
|
|
--with-gmp-prefix=${XBPS_MASTERDIR}/usr --with-gnu-ld --disable-debugging"
|
2011-11-12 01:54:14 +00:00
|
|
|
revision=1
|
2009-11-14 17:33:43 +00:00
|
|
|
short_desc="The Parma Polyhedra Library"
|
|
|
|
|
maintainer="Juan RP <xtraeme@gmail.com>"
|
2011-02-28 10:10:37 +00:00
|
|
|
checksum=e3fbd1c19ef44c6f020951807cdb6fc6a8153cd3a5c53b0ab9cf4c4f6e8cbbeb
|
2009-11-14 17:33:43 +00:00
|
|
|
long_desc="
|
|
|
|
|
The Parma Polyhedra Library (PPL) provides numerical abstractions especially
|
|
|
|
|
targeted at applications in the field of analysis and verification of complex
|
|
|
|
|
systems. These abstractions include convex polyhedra, defined as the
|
|
|
|
|
intersection of a finite number of (open or closed) halfspaces, each
|
|
|
|
|
described by a linear inequality (strict or non-strict) with rational
|
|
|
|
|
coefficients; some special classes of polyhedra shapes that offer interesting
|
|
|
|
|
complexity/precision tradeoffs; and grids which represent regularly spaced
|
|
|
|
|
points that satisfy a set of linear congruence relations. The library also
|
|
|
|
|
supports finite powersets and products of (any kind of) polyhedra and grids
|
|
|
|
|
and a mixed integer linear programming problem solver using an
|
|
|
|
|
exact-arithmetic version of the simplex algorithm."
|
|
|
|
|
|
2011-02-28 10:10:37 +00:00
|
|
|
disable_parallel_build=yes
|
2011-07-06 06:16:56 +00:00
|
|
|
bootstrap=yes
|
2010-03-29 12:59:18 +00:00
|
|
|
subpackages="ppl-devel"
|
2011-02-28 10:10:37 +00:00
|
|
|
|
2010-03-29 12:59:18 +00:00
|
|
|
Add_dependency build gmp-devel
|
2011-07-07 15:43:22 +00:00
|
|
|
|
|
|
|
|
if [ -n "$BOOTSTRAP_PKG_REBUILD" ]; then
|
|
|
|
|
Add_dependency build m4
|
|
|
|
|
fi
|
2012-02-10 14:55:08 +00:00
|
|
|
|
|
|
|
|
post_install() {
|
|
|
|
|
rm -rf ${DESTDIR}/usr/share/doc
|
|
|
|
|
}
|
