ppl: update to 0.11.2.

This commit is contained in:
Juan RP 2011-02-28 11:10:37 +01:00
parent e62f4020cc
commit 9065730ed5
2 changed files with 5 additions and 6 deletions

View file

@ -5,8 +5,6 @@ long_desc="${long_desc}
This package contains files for development, headers, static libs, etc."
revision=1
Add_dependency run libgcc
Add_dependency run glibc
Add_dependency run libstdc++

View file

@ -1,14 +1,13 @@
# Template file for 'ppl'
pkgname=ppl
version=0.11
version=0.11.2
distfiles="http://www.cs.unipr.it/ppl/Download/ftp/releases/${version}/ppl-${version}.tar.bz2"
build_style=gnu_configure
configure_args="--disable-rpath --enable-interfaces=c,cxx
--with-bgmp-prefix=${XBPS_MASTERDIR}/usr
--with-gnu-ld --disable-debugging"
--with-gmp-prefix=${XBPS_MASTERDIR}/usr --with-gnu-ld --disable-debugging"
short_desc="The Parma Polyhedra Library"
maintainer="Juan RP <xtraeme@gmail.com>"
checksum=f4f28b75c95ed7f7adf8e5387ca4b012d9405ce0bc098629ea1653d711028cbc
checksum=e3fbd1c19ef44c6f020951807cdb6fc6a8153cd3a5c53b0ab9cf4c4f6e8cbbeb
long_desc="
The Parma Polyhedra Library (PPL) provides numerical abstractions especially
targeted at applications in the field of analysis and verification of complex
@ -22,8 +21,10 @@ long_desc="
and a mixed integer linear programming problem solver using an
exact-arithmetic version of the simplex algorithm."
disable_parallel_build=yes
base_chroot=yes
subpackages="ppl-devel"
Add_dependency run libgcc
Add_dependency run glibc
Add_dependency run libstdc++