jcgruenhage/void-packages
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

ppl: update to 1.1 (soname bump).

Browse source
This commit is contained in:
Juan RP 2014-06-01 21:09:50 +02:00
parent cc76dd5271
commit dbd682313e
3 changed files with 9 additions and 61 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
common/shlibs
View file

@ -58,7 +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
libppl.so.12 ppl-1.0_1
libppl.so.13 ppl-1.1_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

51
srcpkgs/ppl/patches/gmp-5.1-compat.patch
View file

@ -1,51 +0,0 @@
From 9f843aecc23981aec6ed1eaa8be06e6786a47f0d Mon Sep 17 00:00:00 2001
From: Roberto Bagnara <bagnara@cs.unipr.it>
Date: Wed, 19 Dec 2012 08:42:19 +0100
Subject: [PATCH] GMP version 5.1.0 (and, presumably, later versions) defines std::numeric_limits.
---
src/mp_std_bits.cc | 6 ++++++
src/mp_std_bits_defs.hh | 6 ++++++
2 files changed, 12 insertions(+), 0 deletions(-)
--- src/mp_std_bits.cc
+++ src/mp_std_bits.cc
@@ -25,6 +25,9 @@ site: http://bugseng.com/products/ppl/ . */
#include "ppl-config.h"
#include "mp_std_bits_defs.hh"
+#if __GNU_MP_VERSION < 5 \
+ || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
+
const bool std::numeric_limits<mpz_class>::is_specialized;
const int std::numeric_limits<mpz_class>::digits;
const int std::numeric_limits<mpz_class>::digits10;
@@ -70,3 +73,6 @@ const bool std::numeric_limits<mpq_class>::is_modulo;
const bool std::numeric_limits<mpq_class>::traps;
const bool std::numeric_limits<mpq_class>::tininess_before;
const std::float_round_style std::numeric_limits<mpq_class>::round_style;
+
+#endif // __GNU_MP_VERSION < 5
+ // || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
--- src/mp_std_bits.defs.hh.orig 2013-02-16 17:19:52.254341676 +0100
+++ src/mp_std_bits.defs.hh 2013-02-16 17:20:49.171965855 +0100
@@ -38,6 +38,9 @@ void swap(mpz_class& x, mpz_class& y);
#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
void swap(mpq_class& x, mpq_class& y);
+#if __GNU_MP_VERSION < 5 \
+ || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
+
namespace std {
#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
@@ -164,6 +167,9 @@ public:
} // namespace std
+#endif // __GNU_MP_VERSION < 5
+ // || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1
+
#include "mp_std_bits.inlines.hh"
#endif // !defined(PPL_mp_std_bits_defs_hh)

17
srcpkgs/ppl/template
View file

@ -1,19 +1,17 @@
# Template file for 'ppl'
pkgname=ppl
version=1.0
revision=2
version=1.1
revision=1
build_style=gnu-configure
configure_args="--enable-interfaces=c,cxx"
hostmakedepends="libtool automake"
makedepends="gmp-devel>=5.1.1"
makedepends="gmp-devel>=6"
short_desc="The Parma Polyhedra Library"
homepage="http://bugseng.com/products/ppl"
license="GPL-3"
maintainer="Juan RP <xtraeme@gmail.com>"
distfiles="http://bugseng.com/products/ppl/download/ftp/releases/${version}/ppl-${version}.tar.gz"
checksum=fd346687482ad51c1e98eb260bd61dd5a35a0cff5f580404380c88b0089a71b4
disable_debug=yes
checksum=46f073c0626234f0b1a479356c0022fe5dc3c9cf10df1a246c9cde81f7cf284d
pre_configure() {
autoreconf -fi
@ -24,12 +22,13 @@ post_install() {
}
ppl-devel_package() {
depends="ppl>=${version}"
short_desc+=" -- development files"
depends="ppl>=${version}_${revision}"
short_desc+=" - development files"
pkg_install() {
for d in bin include share; do
vmove usr/${d}
done
vmove "usr/lib/*.a"
vmove usr/lib/*.a
vmove usr/lib/*.so
}
}