gentoo resync : 13.06.2020

3 files changed, 2 insertions, 70 deletions

diff --git a/dev-libs/ppl/Manifest b/dev-libs/ppl/Manifest
index 6fb30f627f82..073b7a6289c0 100644
--- a/dev-libs/ppl/Manifest
+++ b/dev-libs/ppl/Manifest
@@ -3,6 +3,5 @@ AUX disable-containsintegerpoint1.patch 1039 BLAKE2B c608e3e2e03350ac72b987284e4
 AUX disable-mipproblem2.patch 1098 BLAKE2B b15da536e0e46a2edbec44e4c68a97e57b96d71639b382aa5efe4032e788db241e49e717e3b7b99f602633980b7b269d1f743c1cc9eb21eca4c03aa6e54ba121 SHA512 430917cae1dcff8772643be468fe69116ba2b58c9d7cac505584e4bc27b830f7a61cc213d364a26ccf08196b594fe1552f5566e71184286dff1b56fd5a60a635
 AUX fix-clang-build.patch 1546 BLAKE2B ba0557f5cb36defa21cc5afdfa8d65bda9fe2a3b8d6262609eccf70e29f6442a7b261b22ffc112ff30cfddc0b8f2a80ffd787d2e9f14f8bb1ba35c095110d695 SHA512 d802c597e408ca50fe01e240c868b2fb5cc2ca3ff00cf15ff1de1c1dc5d0cf0b88da25de0d1151f8011e331f85e343348150285bb515c9ffc17806ff4edd082d
 DIST ppl-1.2.tar.xz 14136236 BLAKE2B 060b73384dac558dc8b2b0f1027ed0aa270b0adf0992c2ca1a281fa7bcdf959cba3a9e8ee29e978d12c3eee606b819075c5bcab59f4aed24fbf1c5512b5e2c36 SHA512 b509ed85fa6aedd40119bd4c980b17f33072c56c2acd923da3445b6bc80d48051cfa4c04cce96f6974711f5279c24b31cb3869f87b2eb6a2a1b30a058c809350
-EBUILD ppl-1.2-r2.ebuild 1666 BLAKE2B 6a3083a1a69c6cd5e34d85b4e9112c835ce916286e378b0270a0aa8f4ba62515beda7d2d8260da1e7bf788bcacb9985a56813de8d848ed4260f1a9c3afd98342 SHA512 2961a2a457f75c89e5417093b4c5b60a2abf4b63bb3d95d321b67d1b03e06cd73986d43a18362cf73daf8d57002ddaa97620d063fd1cf4a1ac0af453625e6fe2
-EBUILD ppl-1.2-r3.ebuild 1707 BLAKE2B 76ae5f1deb692cf77ec6737bf6934d572d3926828a89e0f1bb705567fae5b220ff03090a1ebbf8017525fa6bd530bb9dd5dc7ae7821103979ed51c4a5310c1a0 SHA512 c88528a7f0e2d1036fbb74973bfc917577c615f6d3e51e9a8cc8ff842913b933f4a493644f23101adc1f4a9620495f749b9731c40eefaba261623a6c4ee5ea12
+EBUILD ppl-1.2-r3.ebuild 1701 BLAKE2B ca22ab7dcd76d21907b06cac075799ac2f2b8f5a38ce28fa0b25bc24a6d006006f1744bf34572f0babb2a9d049077912c4a8ccd420a34507cc372875c69bf1a8 SHA512 be05c89d00c98ed1b57ee01b1f773c208cb50e743169c06200f4863365b49d3d03c97e60034ae328074d708d842d4af22cadbf73f603f83359d066406f21886f
 MISC metadata.xml 859 BLAKE2B 73b368a2852176bfc7e38a89b8ec0c239fd4e96a838bad0fd883d50125cb25cbe2962fddd3c62d420a3bb97287d80c47c356f063dcacf39057d4bd07cb3b110b SHA512 a7f896a4a2a485c18df3cf03038621bfaf93057eefb43ff093f9cf89d0d71937e96de0ef0fd5dc20fd12580cc60bebd80d74e64fd40941e9f3bfe1f91d1666bb
diff --git a/dev-libs/ppl/ppl-1.2-r2.ebuild b/dev-libs/ppl/ppl-1.2-r2.ebuild
deleted file mode 100644
index 091d9ca0a9f3..000000000000
--- a/dev-libs/ppl/ppl-1.2-r2.ebuild
+++ /dev/null
@@ -1,67 +0,0 @@
-# Copyright 1999-2020 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="7"
-
-inherit autotools
-
-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.xz"
-
-LICENSE="GPL-3"
-SLOT="0/4.14" # SONAMEs
-KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ppc64 ~s390 sparc x86 ~amd64-linux ~sparc-solaris"
-IUSE="cdd +cxx doc lpsol pch static-libs test"
-
-RDEPEND=">=dev-libs/gmp-6[cxx]
-	lpsol? ( sci-mathematics/glpk )"
-DEPEND="${RDEPEND}
-	app-arch/xz-utils
-	sys-devel/m4"
-
-RESTRICT="!test? ( test )"
-
-PATCHES=(
-	"${FILESDIR}/disable-mipproblem2.patch"
-	"${FILESDIR}/disable-containsintegerpoint1.patch"
-	"${FILESDIR}/disable-boeing-tests.patch"
-)
-
-src_prepare() {
-	default
-
-	# The patch should do this, but then the diff makes it run
-	# afoul of the Gentoo patch size limit.
-	rm demos/ppl_lpsol/examples/boeing[12].mps || die
-
-	eautoreconf
-}
-
-src_configure() {
-	local interfaces=( c )
-	use cxx && interfaces+=( cxx )
-	econf \
-		--disable-debugging \
-		--disable-optimization \
-		$(use_enable doc documentation) \
-		$(use_enable cdd ppl_lcdd) \
-		$(use_enable lpsol ppl_lpsol) \
-		$(use_enable pch) \
-		$(use_enable static-libs static) \
-		--enable-interfaces="${interfaces[*]}" \
-		$(use test && echo --enable-check=quick)
-}
-
-src_install() {
-	default
-	if ! use static-libs; then
-		find "${ED}"/usr -name 'libppl*.la' -delete || die
-	fi
-
-	pushd "${ED}/usr/share/doc/${PF}" >/dev/null || die
-	rm gpl* fdl* || die
-	if ! use doc ; then
-		rm -r *-html/ *.ps.gz *.pdf || die
-	fi
-}
diff --git a/dev-libs/ppl/ppl-1.2-r3.ebuild b/dev-libs/ppl/ppl-1.2-r3.ebuild
index 91ea71b2109c..ea74b3baa507 100644
--- a/dev-libs/ppl/ppl-1.2-r3.ebuild
+++ b/dev-libs/ppl/ppl-1.2-r3.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz
 
 LICENSE="GPL-3"
 SLOT="0/4.14" # SONAMEs
-KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~s390 ~sparc ~x86 ~amd64-linux ~sparc-solaris"
+KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ppc64 ~s390 sparc x86 ~amd64-linux ~sparc-solaris"
 IUSE="cdd +cxx doc lpsol pch static-libs test"
 
 RDEPEND=">=dev-libs/gmp-6[cxx]