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

desc for repoman happiness.
Package-Manager: portage-2.2_rc26/cvs/Linux x86_64

5 files changed, 15 insertions, 73 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/Manifest b/dev-libs/ppl/Manifest
index d439529ba75f..3cdd7d154d04 100644
--- a/dev-libs/ppl/Manifest
+++ b/dev-libs/ppl/Manifest
@@ -2,16 +2,13 @@
 Hash: SHA1
 
 DIST ppl-0.10.tar.bz2 11165603 RMD160 7ca4944d257742a08c770b01bf2572fd87e3ba00 SHA1 25b7507f440dbde44f36b9e9db9034ce910509f8 SHA256 cc96b02be56bed1c39bdb47bcb1b20d3b16cd7123af110dbe6937d4c4506c4e1
-DIST ppl-0.10pre27.tar.bz2 8754070 RMD160 48cc4e6dc935d66fe9083fd1da798c572ffb54ab SHA1 805e75050dd61a27aadf44c76a82259f31539805 SHA256 f06ff4a25320cb51e730a992e48d4fb95bcacc1e71337b587c6e06223e9f06e8
-EBUILD ppl-0.10-r1.ebuild 1581 RMD160 a447722bee2deb1160b045c586a32c51c4df919b SHA1 30c2d4e8432a5dcc80a31184413c6277a6e5d1d8 SHA256 c3d0fdb4a0d00548a3e13c0840b77c8e0a6b1dbae46db13d7903d2fd8c92353e
-EBUILD ppl-0.10.ebuild 1145 RMD160 f49d583857535463747af82f88c2277942700020 SHA1 485709975ed6d442ea7b858d117f3a02be568bcd SHA256 870a277234776cdf619329ccf67dc2e66a34506e05d2729676af720e7e10dee8
-EBUILD ppl-0.10_pre27.ebuild 758 RMD160 b76677e9c2ef7288db019328a86d9b64bf337478 SHA1 89870b48f4e20e41492a41a01637b278c8da0fe6 SHA256 01632ca9327ef265c14d000a9d6f34eab9095a327c51bffbca0a994e4ac02d6b
-MISC ChangeLog 1278 RMD160 259b63e3942d01b02328767df5e0e46a993f3176 SHA1 d36bc5368941a99beeea0737e6a6c6cb12965e8b SHA256 b43e5986bec35f6edf7d3adfeae07b6017f2c583ba2418df606323d2dab8ce1f
+EBUILD ppl-0.10-r1.ebuild 1470 RMD160 06faccb1ac3eca13e7be7cbde6f92112168798c3 SHA1 3bee934cbfa74ae54fe480929cd44d6ede12a310 SHA256 92a050d99c7c96fc64329a127b8fa14e7a231629a53517bcb808cc49b1640be3
+MISC ChangeLog 1496 RMD160 c9ff2234243423f3908d226e57582989affd1955 SHA1 2916c8700597ff4bd4b620e11ad1247d4df57711 SHA256 2a191dd0221e0684b2e1ef79c7a45bfde08340994b89f2af1deb1530d5825b23
 MISC metadata.xml 229 RMD160 891aadd4776784d39fe74363159a5693427e8687 SHA1 3a0841a0116d30c599b9bcc5235f3f7eacdbdd20 SHA256 5bacdb16039c1356761b3f0b2b4b113aaeda28accfe65075cb529e32b7c0eacb
 -----BEGIN PGP SIGNATURE-----
-Version: GnuPG v2.0.10 (GNU/Linux)
+Version: GnuPG v2.0.11 (GNU/Linux)
 
-iEYEARECAAYFAkmiPQAACgkQiqiDRvmkBmKNRQCeJsJK5Q1q7eK27IfbkDRHGd/v
-xR4AoOqsVkIxvzOoj7ayORZhvN5FcAz7
-=TiLz
+iEYEARECAAYFAknGxVMACgkQiqiDRvmkBmJjUACfcPAP/AAgFHg8aNa1e7wLQUxw
+2NkAn0Hy8Sw6OXn34Vj3ltumpMmD/eQq
+=mvpc
 -----END PGP SIGNATURE-----
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
-}