dev-libs/cloog-ppl: punt as nothing uses it anymore #448024

Everything has converted/converged to dev-libs/cloog & dev-libs/ppl,
so let's punt this old package.

diff --git a/dev-libs/cloog-ppl/Manifest b/dev-libs/cloog-ppl/Manifest
deleted file mode 100644 (file)
index 94ee22a..0000000
--- a/dev-libs/cloog-ppl/Manifest
+++ /dev/null
@@ -1 +0,0 @@
-DIST cloog-ppl-0.15.10.tar.gz 703661 SHA256 7ce1ca4f709229d3cbfa158b02c9e908e1ebca6758ba065555b4b59f94a2c991 SHA512 e6ea263dc9aa783a2129a7ea74f2822f4ea57547b056bde47a40e17657ca1a9269cfaa910c93dd0b1ca6f0d12c2fa47dafdb17827868c90ab71d8417c4413742 WHIRLPOOL b2f8b8f1760833cea53371e7d9c1ec9767ddd48a07a961dbac42ad9bebd488056ba437cb5445447d232b14609d74cd5e9ae92834c411f6f16cfd720f83c1fd68

diff --git a/dev-libs/cloog-ppl/cloog-ppl-0.15.10.ebuild b/dev-libs/cloog-ppl/cloog-ppl-0.15.10.ebuild
deleted file mode 100644 (file)
index fe594ad..0000000
--- a/dev-libs/cloog-ppl/cloog-ppl-0.15.10.ebuild
+++ /dev/null
@@ -1,39 +0,0 @@
-# Copyright 1999-2013 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI="4"
-
-inherit autotools
-
-DESCRIPTION="Port of CLooG (Chunky LOOp Generator) to PPL (Parma Polyhedra Library)"
-HOMEPAGE="http://repo.or.cz/w/cloog-ppl.git"
-SRC_URI="ftp://gcc.gnu.org/pub/gcc/infrastructure/${P}.tar.gz"
-
-LICENSE="GPL-2"
-SLOT="0"
-KEYWORDS="alpha amd64 arm ~hppa ia64 ~mips ppc ppc64 s390 sh sparc x86 ~amd64-fbsd ~sparc-fbsd ~x86-fbsd ~amd64-linux ~sparc-solaris"
-IUSE="static-libs"
-
-RDEPEND="dev-libs/ppl
-       dev-libs/gmp"
-DEPEND="${RDEPEND}"
-
-src_prepare() {
-       mkdir m4
-       eautoreconf
-}
-
-src_configure() {
-       econf \
-               --with-ppl \
-               --includedir="${EPREFIX}"/usr/include/cloog-ppl \
-               $(use_enable static-libs static)
-}
-
-src_install() {
-       default
-       use static-libs || find "${ED}" -name libcloog.la -delete
-       mv "${ED}"usr/bin/cloog{,-ppl} || die
-       mv "${ED}"usr/share/info/cloog{,-ppl}.info || die
-}

diff --git a/dev-libs/cloog-ppl/metadata.xml b/dev-libs/cloog-ppl/metadata.xml
deleted file mode 100644 (file)
index 5961aa2..0000000
--- a/dev-libs/cloog-ppl/metadata.xml
+++ /dev/null
@@ -1,5 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
-       <herd>toolchain</herd>
-</pkgmetadata>