gentoo resync : 14.07.2018

4 files changed, 0 insertions, 134 deletions

diff --git a/dev-libs/ppl/Manifest b/dev-libs/ppl/Manifest
deleted file mode 100644
index 3762bc78437f..000000000000
--- a/dev-libs/ppl/Manifest
+++ /dev/null
@@ -1,5 +0,0 @@
-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 1611 BLAKE2B cd6d8213986c0ddddf1aad3294e9850aa344aa06414e95bffb3cee7f648535e174bd6e535f05cf01ff7ac97bdfb8722c8c9db8d9da5aeb5869f5820698f71d4c SHA512 5e63a2d590086a49c82e64f315ff385ae30e8e63ff5f70ad289a5e5c08bc3e8a7a679ffcf7d734590e95197f465f4cab7cd23946cfbd01ecca2d4b70b183be82
-EBUILD ppl-1.2.ebuild 1615 BLAKE2B c99256375ecacf278e5dec97c156c26f30803c16781ba02ae37e1d6e701181c8a738154c3e471469b755643b13449b62499de3ebff6959221fed03052977b5ea SHA512 218bf984d5f777ceb87e4e9d9bd91120ac128db5be205cc14a823e215774907f737669b38a47214b5b8f504ee75238429d792bd48b349ccc833ed2154a39e30e
-MISC metadata.xml 354 BLAKE2B 77e58ca8f59039d9814e8388a7fa941fe88130fadd21720447f050f09cbccdf289153f15874c6f48cd7d8720841d181e4904e515df87c3a16fc8673283b41b4c SHA512 5f42b5399f8961160bd6ed9db93c11e2f7c7f1e750c227068fb828ac7519c927b55786d7cf60481d21813d48af51e7cae7e1c8baca12f8fbe6a1f4e701377a50
diff --git a/dev-libs/ppl/metadata.xml b/dev-libs/ppl/metadata.xml
deleted file mode 100644
index d1dc39110e28..000000000000
--- a/dev-libs/ppl/metadata.xml
+++ /dev/null
@@ -1,11 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
-<maintainer type="project">
-  <email>toolchain@gentoo.org</email>
-  <name>Gentoo Toolchain Project</name>
-</maintainer>
-<use>
-  <flag name="lpsol">Build the ppl_lpsol linear programming problem solver</flag>
-</use>
-</pkgmetadata>
diff --git a/dev-libs/ppl/ppl-1.1.ebuild b/dev-libs/ppl/ppl-1.1.ebuild
deleted file mode 100644
index 1aa44fbb4e19..000000000000
--- a/dev-libs/ppl/ppl-1.1.ebuild
+++ /dev/null
@@ -1,59 +0,0 @@
-# Copyright 1999-2018 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="5"
-
-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.13" # SONAMEs
-KEYWORDS="alpha amd64 arm ~arm64 hppa ia64 m68k ~mips ppc ppc64 s390 sh sparc x86 ~amd64-fbsd ~x86-fbsd ~amd64-linux ~sparc-solaris"
-IUSE="+cxx doc lpsol pch static-libs test"
-
-RDEPEND=">=dev-libs/gmp-6[cxx]
-	lpsol? ( sci-mathematics/glpk )
-	!dev-libs/cloog-ppl"
-DEPEND="${RDEPEND}
-	app-arch/xz-utils
-	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_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_test() {
-	# default src_test runs with -j1, overriding it here saves about
-	# 30 minutes and is recommended by upstream
-	emake check
-}
-
-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
deleted file mode 100644
index 4c4cf952f0d8..000000000000
--- a/dev-libs/ppl/ppl-1.2.ebuild
+++ /dev/null
@@ -1,59 +0,0 @@
-# Copyright 1999-2018 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="5"
-
-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-fbsd ~x86-fbsd ~amd64-linux ~sparc-solaris"
-IUSE="+cxx doc lpsol pch static-libs test"
-
-RDEPEND=">=dev-libs/gmp-6[cxx]
-	lpsol? ( sci-mathematics/glpk )
-	!dev-libs/cloog-ppl"
-DEPEND="${RDEPEND}
-	app-arch/xz-utils
-	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_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_test() {
-	# default src_test runs with -j1, overriding it here saves about
-	# 30 minutes and is recommended by upstream
-	emake check
-}
-
-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
-}