Version bump #245799 by Sigmatador. Fix doc install #241276 by Diego E. Pettenò. Control prolog support via USE=prolog #249320 by Diego E. Flameeyes Pettenò.

Package-Manager: portage-2.2_rc16/cvs/Linux 2.6.27.4 x86_64

4 files changed, 58 insertions, 6 deletions

diff --git a/dev-libs/ppl/ChangeLog b/dev-libs/ppl/ChangeLog
index 391284eb6abf..f06da2cad2e8 100644
--- a/dev-libs/ppl/ChangeLog
+++ b/dev-libs/ppl/ChangeLog
@@ -1,6 +1,14 @@
 # ChangeLog for dev-libs/ppl
 # Copyright 1999-2008 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.2 2008/09/21 09:56:20 robbat2 Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.3 2008/11/30 02:59:13 vapier Exp $
+
+*ppl-0.10 (30 Nov 2008)
+
+  30 Nov 2008; Mike Frysinger <vapier@gentoo.org> metadata.xml,
+  +ppl-0.10.ebuild:
+  Version bump #245799 by Sigmatador. Fix doc install #241276 by Diego E.
+  Pettenò. Control prolog support via USE=prolog #249320 by Diego E.
+  Flameeyes Pettenò.
 
   21 Sep 2008; Robin H. Johnson <robbat2@gentoo.org> +metadata.xml:
   Mike is a slacker and did not include metadata.xml for his new package.
diff --git a/dev-libs/ppl/Manifest b/dev-libs/ppl/Manifest
index f53718b5514e..84d7e08b585c 100644
--- a/dev-libs/ppl/Manifest
+++ b/dev-libs/ppl/Manifest
@@ -1,14 +1,16 @@
 -----BEGIN PGP SIGNED MESSAGE-----
 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.ebuild 1132 RMD160 a49d6572fdb17309d08ca2f0d8fc8ebe8e22c948 SHA1 635bf142c93d52be7c3f4ab2ff7c348ff1df0134 SHA256 bb9496b39e6650206a49d6cfe7c62d26c597f24dd7a594d69753159461db8cb6
 EBUILD ppl-0.10_pre27.ebuild 758 RMD160 b76677e9c2ef7288db019328a86d9b64bf337478 SHA1 89870b48f4e20e41492a41a01637b278c8da0fe6 SHA256 01632ca9327ef265c14d000a9d6f34eab9095a327c51bffbca0a994e4ac02d6b
-MISC ChangeLog 506 RMD160 27fae6e53f405195e041791a5874c69ed9299718 SHA1 1be4207bc323b882d9e7b8ea2205b0fdf301f3cd SHA256 2aa5e1811246ad06095c375b14163c1fd124c03b6bda859c3fee46df91c15f2d
-MISC metadata.xml 160 RMD160 d86217bb48cf4283e08e43bcaabbc919101ad795 SHA1 d6147d00f16e8cfeef893d0764b0675a93d62849 SHA256 56fca1e06f6dcbe3bc12e7d3962998c7cb79d74f218ce8a17b07771b3e06f49e
+MISC ChangeLog 781 RMD160 319ef9a2c822575dcff00271902256c2c485a848 SHA1 c4d705bbf52303beb1bbcebe964e1516b26436e8 SHA256 348d970245f5a81d648678c959e3e3d49751e86bc625c0e9b30aee4a2dbf3780
+MISC metadata.xml 229 RMD160 891aadd4776784d39fe74363159a5693427e8687 SHA1 3a0841a0116d30c599b9bcc5235f3f7eacdbdd20 SHA256 5bacdb16039c1356761b3f0b2b4b113aaeda28accfe65075cb529e32b7c0eacb
 -----BEGIN PGP SIGNATURE-----
 Version: GnuPG v2.0.9 (GNU/Linux)
 
-iEYEARECAAYFAkkx20cACgkQ67wieSYcaxfdLgCghRfA3ir8YS7ShgbwwWlWK1OX
-9h8AoKlR5DkH4ZF9Is5H/2c2EzegK5d2
-=nxOQ
+iEYEARECAAYFAkkyAYgACgkQ67wieSYcaxcLMgCgjLU9wNE/Pef6Dz35vbi5/Jf9
+3HEAn1s8EHtiXxjHV00iB8J5qZzhlyug
+=Dn4y
 -----END PGP SIGNATURE-----
diff --git a/dev-libs/ppl/metadata.xml b/dev-libs/ppl/metadata.xml
index 20ce219711a2..802e2340fa89 100644
--- a/dev-libs/ppl/metadata.xml
+++ b/dev-libs/ppl/metadata.xml
@@ -2,4 +2,7 @@
 <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
 <pkgmetadata>
 <herd>no-herd</herd>
+<use>
+  <flag name='prolog'>Build SWI Prolog interface</flag>
+</use>
 </pkgmetadata>
diff --git a/dev-libs/ppl/ppl-0.10.ebuild b/dev-libs/ppl/ppl-0.10.ebuild
new file mode 100644
index 000000000000..4c3ca97a7536
--- /dev/null
+++ b/dev-libs/ppl/ppl-0.10.ebuild
@@ -0,0 +1,39 @@
+# 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.1 2008/11/30 02:59:13 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 /usr/share/doc/${PF}
+	mkdir html
+	mv *-html html/
+	prepalldocs
+}