diff --git a/common/shlibs b/common/shlibs index 98571f20807..e9b6e2b6c43 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 c843a318702..0d2aeb71c3d 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 3fb2c71580b..a2c428a579c 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 91834cd5309..950953a9bed 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 " -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 }