gentoo resync : 18.11.2019

4 files changed, 58 insertions, 8 deletions

diff --git a/dev-libs/ppl/Manifest b/dev-libs/ppl/Manifest
index 7e029f2624cc..b58d5c4344d0 100644
--- a/dev-libs/ppl/Manifest
+++ b/dev-libs/ppl/Manifest
@@ -1,5 +1,6 @@
 DIST ppl-1.1.tar.xz 14734820 BLAKE2B 2c96d86b534c7f06569bfe37d0ca1938b0c7c708b38d62e210d868db005275e392b2cc9e6dded7d4a5bf1e901136c298b0ff86d2933dc89b4607d5ef9e286b86 SHA512 ae0503fb3eac494fa3edf5d5c9ec61e2419e6e2fa57d30323f7d0360ff080b033686410c7462f5b2ff5514803451cb91e9c0fc14cf953485c5f5fd664448cc27
 DIST ppl-1.2.tar.xz 14136236 BLAKE2B 060b73384dac558dc8b2b0f1027ed0aa270b0adf0992c2ca1a281fa7bcdf959cba3a9e8ee29e978d12c3eee606b819075c5bcab59f4aed24fbf1c5512b5e2c36 SHA512 b509ed85fa6aedd40119bd4c980b17f33072c56c2acd923da3445b6bc80d48051cfa4c04cce96f6974711f5279c24b31cb3869f87b2eb6a2a1b30a058c809350
-EBUILD ppl-1.1.ebuild 1589 BLAKE2B 82d6a50faa6173d6c85429f8b0aeace735b519ae77b8eec6c204ad30de3f0b5c887f3891a0e4dc712d6aa3fe23be88e0fbf6f57c1732324a59489cba7d40775d SHA512 c2c7fd8b97b008fee843de17cb9319779ff731ee421b0e65b7039bb750846c23825b0f4950e7b0ce3b19f8bc423a3e5a6d057d3de10ae42e721fadb71005737b
-EBUILD ppl-1.2.ebuild 1593 BLAKE2B ddfa57fd25701c8c53df4c5900d85770796137a47d901ec60cca87fc70e58131ba37cb4c1d5371860692a5331e6503029365e123f18b6ed9caaf355198d07eef SHA512 5ab574fe9692b7f0ab15cf3408bba0e6a3c9a4826f6e0ea6c6641f29b29ab103f3a5cd74c9360fa56415dd5f84dc7987ab070c1b82e10c089e8e5d4e0608f9cb
+EBUILD ppl-1.1.ebuild 1593 BLAKE2B e40f20ac2e1d0a84f39ce36f6250e1cb90e98f95ae682105ee2faa4db0191fc068f5335d7d704bae3a9ab665129a9845c440328afb3d683685cfa6095b776c0c SHA512 98c2fabbd4c254fa4ac8089def203a944425d3d6516e7fd345ea69734fa4c1b022b98313866347f7354a3e635926cf8ff19f838bb89f17af9008d069c0c3001b
+EBUILD ppl-1.2-r1.ebuild 1305 BLAKE2B 59322ae53b8692ffbf0e19322790db29c669cbaa974a1f53330abdeafedc1b12b8ada729cead24fbc4ae8bacbfddbd47e2b58d4b3f6c9ed2fa45b9a5be513944 SHA512 aa9991b0c96ae26b59be875c3bfc36566bcf021cec2e8aa5bd158354f7158224dc4b847469532b8374718323f3d0a7f4c7150e5dba650f807b27c428c35d9ed4
+EBUILD ppl-1.2.ebuild 1597 BLAKE2B d10d1eac0c5a0e9d4ddbe84f9538035dc5ef6276b679d17e92851401bd9fee6b6da61d9166d7d6797ed36830bfc6c9d7889e53693b147af5e623b4e5735eadc2 SHA512 d92a3cf5ef73e721fe0ccd8dbaa85cc9c6a3c686a33917696b22b9aa0bd1fbc6d1f3bc0d02b8b6683fcd3426999905ccefdcf871bf0064bd09c76c16f385b0bb
 MISC metadata.xml 354 BLAKE2B 77e58ca8f59039d9814e8388a7fa941fe88130fadd21720447f050f09cbccdf289153f15874c6f48cd7d8720841d181e4904e515df87c3a16fc8673283b41b4c SHA512 5f42b5399f8961160bd6ed9db93c11e2f7c7f1e750c227068fb828ac7519c927b55786d7cf60481d21813d48af51e7cae7e1c8baca12f8fbe6a1f4e701377a50
diff --git a/dev-libs/ppl/ppl-1.1.ebuild b/dev-libs/ppl/ppl-1.1.ebuild
index fa6ffdcc1e63..2808c73b96a7 100644
--- a/dev-libs/ppl/ppl-1.1.ebuild
+++ b/dev-libs/ppl/ppl-1.1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2018 Gentoo Foundation
+# Copyright 1999-2019 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI="5"
@@ -13,12 +13,13 @@ KEYWORDS="alpha amd64 arm ~arm64 hppa ia64 m68k ~mips ppc ppc64 s390 sh sparc x8
 IUSE="+cxx doc lpsol pch static-libs test"
 
 RDEPEND=">=dev-libs/gmp-6[cxx]
-	lpsol? ( sci-mathematics/glpk )
-	!dev-libs/cloog-ppl"
+	lpsol? ( sci-mathematics/glpk )"
 DEPEND="${RDEPEND}
 	app-arch/xz-utils
 	sys-devel/m4"
 
+RESTRICT="!test? ( test )"
+
 pkg_setup() {
 	if use test ; then
 		ewarn "The PPL testsuite will be run."
diff --git a/dev-libs/ppl/ppl-1.2-r1.ebuild b/dev-libs/ppl/ppl-1.2-r1.ebuild
new file mode 100644
index 000000000000..f522c2384bc9
--- /dev/null
+++ b/dev-libs/ppl/ppl-1.2-r1.ebuild
@@ -0,0 +1,47 @@
+# Copyright 1999-2019 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="7"
+
+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 ~sh ~sparc ~x86 ~amd64-linux ~sparc-solaris"
+IUSE="+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 )"
+
+src_configure() {
+	local interfaces=( c )
+	use cxx && interfaces+=( cxx )
+	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="${interfaces[*]}" \
+		$(use test && echo --enable-check=quick)
+}
+
+src_install() {
+	default
+	use static-libs || find "${ED}"/usr -name 'libppl*.la' -delete
+
+	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.ebuild b/dev-libs/ppl/ppl-1.2.ebuild
index 7b7669adc3b7..8805f55b2eab 100644
--- a/dev-libs/ppl/ppl-1.2.ebuild
+++ b/dev-libs/ppl/ppl-1.2.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2018 Gentoo Foundation
+# Copyright 1999-2019 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI="5"
@@ -13,12 +13,13 @@ KEYWORDS="alpha amd64 arm ~arm64 hppa ia64 ~m68k ~mips ppc ppc64 ~s390 ~sh sparc
 IUSE="+cxx doc lpsol pch static-libs test"
 
 RDEPEND=">=dev-libs/gmp-6[cxx]
-	lpsol? ( sci-mathematics/glpk )
-	!dev-libs/cloog-ppl"
+	lpsol? ( sci-mathematics/glpk )"
 DEPEND="${RDEPEND}
 	app-arch/xz-utils
 	sys-devel/m4"
 
+RESTRICT="!test? ( test )"
+
 pkg_setup() {
 	if use test ; then
 		ewarn "The PPL testsuite will be run."