Require swi-prolog built with USE=gmp for bug #263368. Drop old. Shorten

desc for repoman happiness.
(Portage version: 2.2_rc26/cvs/Linux x86_64)

4 files changed, 9 insertions, 64 deletions

diff --git a/dev-libs/ppl/ChangeLog b/dev-libs/ppl/ChangeLog
index 442622b992fb..dee2a48d766b 100644
--- a/dev-libs/ppl/ChangeLog
+++ b/dev-libs/ppl/ChangeLog
@@ -1,6 +1,11 @@
 # ChangeLog for dev-libs/ppl
 # Copyright 1999-2009 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.6 2009/02/23 06:05:26 dirtyepic Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.7 2009/03/22 23:08:25 dirtyepic Exp $
+
+  22 Mar 2009; Ryan Hill <dirtyepic@gentoo.org> -ppl-0.10_pre27.ebuild,
+  -ppl-0.10.ebuild, ppl-0.10-r1.ebuild:
+  Require swi-prolog built with USE=gmp for bug #263368. Drop old. Shorten
+  desc for repoman happiness.
 
   23 Feb 2009; Ryan Hill <dirtyepic@gentoo.org> ppl-0.10-r1.ebuild:
   Stop using prepalldocs.
diff --git a/dev-libs/ppl/ppl-0.10-r1.ebuild b/dev-libs/ppl/ppl-0.10-r1.ebuild
index c6affc47003b..a532594cf00b 100644
--- a/dev-libs/ppl/ppl-0.10-r1.ebuild
+++ b/dev-libs/ppl/ppl-0.10-r1.ebuild
@@ -1,10 +1,10 @@
 # Copyright 1999-2009 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10-r1.ebuild,v 1.3 2009/02/23 06:05:26 dirtyepic Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10-r1.ebuild,v 1.4 2009/03/22 23:08:25 dirtyepic Exp $
 
 EAPI=2
 
-DESCRIPTION="The Parma Polyhedra Library (PPL) is a modern and reasonably complete library providing numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems"
+DESCRIPTION="The Parma Polyhedra Library provides numerical abstractions for analysis of complex systems"
 HOMEPAGE="http://www.cs.unipr.it/ppl/"
 SRC_URI="http://www.cs.unipr.it/ppl/Download/ftp/releases/${PV}/${P}.tar.bz2
 	ftp://ftp.cs.unipr.it/pub/ppl/releases/${PV}/${P}.tar.bz2"
@@ -14,7 +14,7 @@ SLOT="0"
 KEYWORDS="~amd64 ~mips ~x86"
 IUSE="doc prolog"
 
-RDEPEND="prolog? ( dev-lang/swi-prolog )
+RDEPEND="prolog? ( dev-lang/swi-prolog[gmp] )
 		>=dev-libs/gmp-4.1.3[-nocxx]"
 DEPEND="${RDEPEND}
 	sys-devel/m4"
diff --git a/dev-libs/ppl/ppl-0.10.ebuild b/dev-libs/ppl/ppl-0.10.ebuild
deleted file mode 100644
index 094b2b8d8549..000000000000
--- a/dev-libs/ppl/ppl-0.10.ebuild
+++ /dev/null
@@ -1,39 +0,0 @@
-# Copyright 1999-2008 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10.ebuild,v 1.2 2008/12/01 16:52:10 vapier Exp $
-
-DESCRIPTION="The Parma Polyhedra Library (PPL) is a modern and reasonably complete library providing numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems"
-HOMEPAGE="http://www.cs.unipr.it/ppl/"
-SRC_URI="http://www.cs.unipr.it/ppl/Download/ftp/releases/${PV}/${P}.tar.bz2
-	ftp://ftp.cs.unipr.it/pub/ppl/releases/${PV}/${P}.tar.bz2"
-
-LICENSE="GPL-3"
-SLOT="0"
-KEYWORDS="~amd64 ~mips ~x86"
-IUSE="prolog"
-
-RDEPEND="prolog? ( dev-lang/swi-prolog )"
-DEPEND="${RDEPEND}
-	sys-devel/m4"
-
-src_unpack() {
-	unpack ${A}
-	cd "${S}"
-	sed -i \
-		-e "/have_swi_prolog=/s:=.*:=$(use prolog && echo yes || echo no):" \
-		-e '/^docdir=.${datadir}.doc.ppl./d' \
-		configure
-}
-
-src_compile() {
-	econf --docdir=/usr/share/doc/${PF} || die
-	emake || die
-}
-
-src_install() {
-	emake DESTDIR="${D}" install || die
-	cd "${D}"/usr/share/doc/${PF}
-	mkdir html
-	mv *-html html/ || die
-	prepalldocs
-}
diff --git a/dev-libs/ppl/ppl-0.10_pre27.ebuild b/dev-libs/ppl/ppl-0.10_pre27.ebuild
deleted file mode 100644
index 3939dfdd6c80..000000000000
--- a/dev-libs/ppl/ppl-0.10_pre27.ebuild
+++ /dev/null
@@ -1,21 +0,0 @@
-# Copyright 1999-2008 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10_pre27.ebuild,v 1.1 2008/09/21 09:26:44 vapier Exp $
-
-MY_P="${P/_pre/pre}"
-
-DESCRIPTION="The Parma Polyhedra Library (PPL) is a modern and reasonably complete library providing numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems"
-HOMEPAGE="http://www.cs.unipr.it/ppl/"
-SRC_URI="ftp://ftp.cs.unipr.it/pub/ppl/snapshots/${MY_P}.tar.bz2"
-
-LICENSE="GPL-3"
-SLOT="0"
-KEYWORDS="~amd64 ~mips ~x86"
-IUSE=""
-
-S="${WORKDIR}/${MY_P}"
-
-src_install() {
-	emake DESTDIR="${D}" install || die
-	dodoc BUGS ChangeLog NEWS README STANDARDS TODO
-}