[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/files/, dev-libs/ppl/

[David Seifert]

commit:     bf4d3d3ff9bceda4ecc2f4a9801fd9ca628bde85
Author:     Harri Nieminen <moikkis <AT> gmail <DOT> com>
AuthorDate: Fri Dec  1 17:51:55 2017 +0000
Commit:     David Seifert <soap <AT> gentoo <DOT> org>
CommitDate: Sat Dec  2 13:02:47 2017 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bf4d3d3f

dev-libs/ppl: Remove old EAPI3

Package-Manager: Portage-2.3.16, Repoman-2.3.6
Closes: https://github.com/gentoo/gentoo/pull/6384

 dev-libs/ppl/Manifest                      |  1 -
 dev-libs/ppl/files/ppl-fix-gmp-5.1.0.patch | 41 ---------------
 dev-libs/ppl/ppl-0.12.1-r1.ebuild          | 83 ------------------------------
 3 files changed, 125 deletions(-)

diff --git a/dev-libs/ppl/Manifest b/dev-libs/ppl/Manifest
index c5bffa1d1e0..336be24d378 100644
--- a/dev-libs/ppl/Manifest
+++ b/dev-libs/ppl/Manifest
@@ -1,3 +1,2 @@
-DIST ppl-0.12.1.tar.bz2 14938132 SHA256 4022e54772f81c8ef66d3dd4c3d8dca48f72f9af614d8a36d05fbf5917f2b198 SHA512 e8a4c92271f608e79c5828c71ff2d36c681dd4bd48b5d31353b2a27bcf827a5cb8f0dcdfee3e13cf9f202f35a7693ddf9880dc4d5b8445ec558cef1319f43925 WHIRLPOOL 6616253d5c02c84294ec63e0601fa7bc65772fc72e6cea68f1300fa2b46f551311589813268d8e869cb59295d8fdc5be17a5b3d0cbb7b62fe0bc06a8bf9e1f39
 DIST ppl-1.1.tar.xz 14734820 SHA256 c48ccd74664ec2cd3cdb5e37f287974ccb062f0384dc658d4053c424b19ad178 SHA512 ae0503fb3eac494fa3edf5d5c9ec61e2419e6e2fa57d30323f7d0360ff080b033686410c7462f5b2ff5514803451cb91e9c0fc14cf953485c5f5fd664448cc27 WHIRLPOOL d1b85fe9b44195f7fdc0573b32291a70183ce9de5e29fbb502a5d181a6e0ae11998dd5cfb52ec7ce3e1aed36433a823484488bfaf93362ac3b45a7556a2e9b6a
 DIST ppl-1.2.tar.xz 14136236 SHA256 691f0d5a4fb0e206f4e132fc9132c71d6e33cdda168470d40ac3cf62340e9a60 SHA512 b509ed85fa6aedd40119bd4c980b17f33072c56c2acd923da3445b6bc80d48051cfa4c04cce96f6974711f5279c24b31cb3869f87b2eb6a2a1b30a058c809350 WHIRLPOOL cf2d5895d7d740c650707840caadd45d785411875b1c55db141928a288a1475f50d4f1e6ac829062ab021a920e9581be7822679e9cf2ea11dc64ac70cfa2e5dd

diff --git a/dev-libs/ppl/files/ppl-fix-gmp-5.1.0.patch b/dev-libs/ppl/files/ppl-fix-gmp-5.1.0.patch
deleted file mode 100644
index ff2423e93c7..00000000000
--- a/dev-libs/ppl/files/ppl-fix-gmp-5.1.0.patch
+++ /dev/null
@@ -1,41 +0,0 @@
---- src/p_std_bits.cc.org	2012-12-30 00:37:03.033948083 +0100
-+++ src/mp_std_bits.cc	2012-12-30 00:44:12.893019313 +0100
-@@ -25,6 +25,9 @@
- #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>::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.org	2012-12-30 00:37:03.037948187 +0100
-+++ src/mp_std_bits.defs.hh	2012-12-30 00:42:32.002424189 +0100
-@@ -38,6 +38,9 @@
- #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 @@
- 
- } // 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)

diff --git a/dev-libs/ppl/ppl-0.12.1-r1.ebuild b/dev-libs/ppl/ppl-0.12.1-r1.ebuild
deleted file mode 100644
index 630398ef0c2..00000000000
--- a/dev-libs/ppl/ppl-0.12.1-r1.ebuild
+++ /dev/null
@@ -1,83 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="3"
-
-inherit eutils
-
-DESCRIPTION="The Parma Polyhedra Library for numerical analysis of complex systems"
-HOMEPAGE="http://bugseng.com/products/ppl"
-SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.bz2"
-
-LICENSE="GPL-3"
-SLOT="0"
-KEYWORDS="alpha amd64 arm arm64 ~hppa ia64 ~mips ppc ppc64 s390 sh sparc x86 ~amd64-fbsd ~sparc-fbsd ~x86-fbsd ~amd64-linux ~sparc-solaris"
-IUSE="doc lpsol pch static-libs test"
-
-RDEPEND=">=dev-libs/gmp-4.1.3[cxx]
-	lpsol? ( <=sci-mathematics/glpk-4.48 )
-	!<dev-libs/cloog-ppl-0.15.10"
-DEPEND="${RDEPEND}
-	sys-devel/m4"
-
-pkg_setup() {
-	if use test; then
-		ewarn "The PPL testsuite will be run."
-		ewarn "Note that this can take several hours to complete on a fast machine."
-	fi
-}
-
-src_prepare() {
-	epatch "${FILESDIR}/ppl-fix-gmp-5.1.0.patch" || die "Failed to patch"
-}
-
-src_configure() {
-	econf \
-		--docdir="${EPREFIX}"/usr/share/doc/${PF} \
-		--disable-debugging \
-		--disable-optimization \
-		$(use_enable doc documentation) \
-		$(use_enable lpsol ppl_lpsol) \
-		$(use_enable pch) \
-		$(use_enable static-libs static) \
-		--enable-interfaces="c cxx" \
-		$(use test && echo --enable-check=quick)
-}
-
-src_test() {
-	# default src_test runs with -j1, overriding it here saves about
-	# 30 minutes and is recommended by upstream
-	if emake -j1 check -n &> /dev/null; then
-		emake check || die "tests failed"
-	fi
-}
-
-src_install() {
-	emake DESTDIR="${D}" install || die
-	use static-libs || rm -f "${D}"/usr/lib*/libppl*.la
-
-	local docsdir="${ED}/usr/share/doc/${PF}"
-	rm "${docsdir}"/gpl* "${docsdir}"/fdl* || die
-
-	if ! use doc; then
-		rm -r "${docsdir}"/*-html/ || die
-	fi
-
-	dodoc NEWS README* STANDARDS TODO
-}
-
-pkg_postinst() {
-	echo
-	ewarn "After an upgrade of PPL it is important that you rebuild"
-	ewarn "dev-libs/cloog-ppl."
-	ewarn
-	ewarn "If you use gcc-config to switch to an older compiler version than"
-	ewarn "the one PPL was built with, PPL must be rebuilt with that version."
-	ewarn
-	ewarn "In both cases failure to do this will get you this error when"
-	ewarn "graphite flags are used:"
-	ewarn
-	ewarn "    sorry, unimplemented: Graphite loop optimizations cannot be used"
-	ewarn
-	echo
-}