ppl: update to 1.0; major SONAME bump.

common/shlibs

@@ -58,8 +58,7 @@ libmp.so.3 gmp-5.0.1_1
 libgmp.so.10 gmp-5.0.1_1
 libgmpxx.so.4 gmp-5.0.1_1
 libmpfr.so.4 mpfr-3.0.0_1
-libpwl.so.5 ppl-0.11_1
-libppl.so.9 ppl-0.11_1
+libppl.so.12 ppl-1.0_1
 libppl_c.so.4 ppl-0.11_1
 libstdc++.so.6 libstdc++-4.4.0_1
 libssp.so.0 libssp-4.4.0_1

srcpkgs/ppl/ppl-devel.rshlibs

@@ -1,6 +1,6 @@
-libppl.so.9
 libgmpxx.so.4
 libgmp.so.10
 libstdc++.so.6
 libgcc_s.so.1
 libc.so.6
+libppl.so.12

srcpkgs/ppl/ppl-devel.template

@@ -1,6 +1,6 @@
 # Template file for 'ppl-devel'.
 #
-short_desc="${short_desc} (development files)"
+short_desc="${short_desc} -- development files)"
 long_desc="${long_desc}
 
  This package contains files for development, headers, static libs, etc."

srcpkgs/ppl/template

@@ -1,15 +1,17 @@
 # Template file for 'ppl'
 pkgname=ppl
-version=0.11.2
-distfiles="http://bugseng.com/products/ppl/download/ftp/releases/${version}/ppl-${version}.tar.bz2"
+version=1.0
+revision=1
+subpackages="ppl-devel"
 build_style=gnu-configure
-configure_args="--disable-rpath --enable-interfaces=c,cxx
---with-gmp-prefix=${XBPS_MASTERDIR}/usr --with-gnu-ld --disable-debugging"
-revision=3
+configure_args="--enable-interfaces=c,cxx"
 makedepends="gmp-devel"
 short_desc="The Parma Polyhedra Library"
+homepage="http://bugseng.com/products/ppl"
+license="GPL-3"
 maintainer="Juan RP <xtraeme@gmail.com>"
-checksum=e3fbd1c19ef44c6f020951807cdb6fc6a8153cd3a5c53b0ab9cf4c4f6e8cbbeb
+distfiles="http://bugseng.com/products/ppl/download/ftp/releases/${version}/ppl-${version}.tar.gz"
+checksum=fd346687482ad51c1e98eb260bd61dd5a35a0cff5f580404380c88b0089a71b4
 long_desc="
  The Parma Polyhedra Library (PPL) provides numerical abstractions especially
  targeted at applications in the field of analysis and verification of complex
@@ -23,10 +25,6 @@ long_desc="
  and a mixed integer linear programming problem solver using an
  exact-arithmetic version of the simplex algorithm."
 
-disable_parallel_build=yes
-subpackages="ppl-devel"
-
-
 post_install() {
 	rm -rf ${DESTDIR}/usr/share/doc
 }