From dca10a8b15d01cd9d0d2dbc33d0c05ecaefb6b88 Mon Sep 17 00:00:00 2001 From: Juan RP <xtraeme@gmail.com> Date: Sun, 1 Jul 2012 15:55:22 +0200 Subject: [PATCH] ppl: update to 1.0; major SONAME bump. --- common/shlibs | 3 +-- srcpkgs/ppl/ppl-devel.rshlibs | 2 +- srcpkgs/ppl/ppl-devel.template | 2 +- srcpkgs/ppl/template | 18 ++++++++---------- 4 files changed, 11 insertions(+), 14 deletions(-) diff --git a/common/shlibs b/common/shlibs index 98571f2080..e9b6e2b6c4 100644 --- a/common/shlibs +++ b/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 diff --git a/srcpkgs/ppl/ppl-devel.rshlibs b/srcpkgs/ppl/ppl-devel.rshlibs index c843a31870..0d2aeb71c3 100644 --- a/srcpkgs/ppl/ppl-devel.rshlibs +++ b/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 diff --git a/srcpkgs/ppl/ppl-devel.template b/srcpkgs/ppl/ppl-devel.template index 3fb2c71580..a2c428a579 100644 --- a/srcpkgs/ppl/ppl-devel.template +++ b/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." diff --git a/srcpkgs/ppl/template b/srcpkgs/ppl/template index 91834cd530..950953a9be 100644 --- a/srcpkgs/ppl/template +++ b/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 }