3 files changed, 0 insertions, 127 deletions
diff --git a/dev-libs/ppl/Manifest b/dev-libs/ppl/Manifest
index d5973cc2c4ff..040a511749c1 100644
--- a/dev-libs/ppl/Manifest
+++ b/dev-libs/ppl/Manifest
@@ -1,8 +1,5 @@
-AUX ppl-fix-gmp-5.1.0.patch 1402 BLAKE2B 94e3176ab12a1e31baba7a02104b0668dc09a8963c3c5b1fe365d73273f065e5cc161f374ab0147e447b4fbad9ee13b403e4290779a07e387f671b0685dc090f SHA512 4d0d3f42516951076747f7ca167aabb4b2c4e62114c97b81c0e70a2cc4464a86b7b78c9ace21008fb35d5911b8fcdc66968a2be26b72446639ba77e3f3c6b52f
-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
-EBUILD ppl-0.12.1-r1.ebuild 2265 BLAKE2B 88995c5f5f20607f5f67a91390e84bcb841ed61b06f7e91c403c7086782a2c0009fc82bb3549356757fc6b6a91cd616bf4a6d554046fdc4a89943d3c56ba835c SHA512 bf6d21742f2e910424e8dfcefd37c97eed7b1de00b484abb08093c6988578646845cd3357a72adf190700bde0ad39bfcedb16369fe675f12506960c799a79d63
 EBUILD ppl-1.1.ebuild 1622 BLAKE2B b18db5c98d4693fea819c5de1e8bb206284e55075043891a76eb71eaa7934d52aa31904b72fd281a462ff2cd10bf3943716c200994ec93b07b40494dc9cc7c0e SHA512 f3f2197f3b3354f04af2a4daaaf05198d6418bd9defb947efa9d789001d5c157007c56ffdf59c484fe4eadccc5d79ddd20046e3d58f24a8a51e26a97d99447b3
 EBUILD ppl-1.2.ebuild 1627 BLAKE2B 236e8dce4dac0b6a0441cc88e88e7c91e7d77d1a195c016ef6874d159d71ab9b950803a3f5c6f4e38b729d589cbb9109fb8a9460a76701cf85581cc9134bfea3 SHA512 256bd444e49233b42b40c9e72f1df67462a2ceaa809002d3d720979ceb693459ef101ebdd0aa24ce84d06fd9f8990f65f8ba35175ed6b5109e1cb0b3468368f8
 MISC metadata.xml 354 BLAKE2B 77e58ca8f59039d9814e8388a7fa941fe88130fadd21720447f050f09cbccdf289153f15874c6f48cd7d8720841d181e4904e515df87c3a16fc8673283b41b4c SHA512 5f42b5399f8961160bd6ed9db93c11e2f7c7f1e750c227068fb828ac7519c927b55786d7cf60481d21813d48af51e7cae7e1c8baca12f8fbe6a1f4e701377a50
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 ff2423e93c79..000000000000
--- 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 630398ef0c22..000000000000
--- 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
-}