Version bump.

Package-Manager: portage-2.2.0_alpha100/cvs/Linux x86_64

3 files changed, 96 insertions, 6 deletions

diff --git a/dev-libs/ppl/ChangeLog b/dev-libs/ppl/ChangeLog
index c834b26b902e..b905b7c82fa2 100644
--- a/dev-libs/ppl/ChangeLog
+++ b/dev-libs/ppl/ChangeLog
@@ -1,6 +1,11 @@
 # ChangeLog for dev-libs/ppl
 # Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.47 2012/02/20 07:20:33 dirtyepic Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.48 2012/04/13 05:04:04 dirtyepic Exp $
+
+*ppl-0.12 (13 Apr 2012)
+
+  13 Apr 2012; Ryan Hill <dirtyepic@gentoo.org> +ppl-0.12.ebuild:
+  Version bump.
 
   20 Feb 2012; Ryan Hill <dirtyepic@gentoo.org> -ppl-0.11.2.ebuild:
   Remove old.
diff --git a/dev-libs/ppl/Manifest b/dev-libs/ppl/Manifest
index 85b3f1f8033e..6ccb42c1db70 100644
--- a/dev-libs/ppl/Manifest
+++ b/dev-libs/ppl/Manifest
@@ -4,14 +4,16 @@ Hash: SHA1
 DIST ppl-0.10.2-gmp-5-fix.patch.bz2 8000 RMD160 7db16010e82e709d48e7ab0bd1181db09b01618c SHA1 50865cc8d110f405d3b6f3ff69a5628a9f105b76 SHA256 a41ad417d72c6fbeaae00b12de3c1fed8a2983cc3aa2de1b743361710e05e3c8
 DIST ppl-0.10.2.tar.bz2 9820135 RMD160 432d0e59c058cc1da6cfeaffcb91bebc7b6e1db2 SHA1 9af711df8f24658a6deb61ca3b8c5e82366258bf SHA256 fe40fb7800f75b5f3532d5b2320a5c8c404dc6eed73c1a439489126fe970e277
 DIST ppl-0.11.2.tar.bz2 12348525 RMD160 68dd335f6e94df09ac4e19ccf08f1c1b280efe86 SHA1 915f1d8a7def10e540bf2806babf94dccd15852a SHA256 e3fbd1c19ef44c6f020951807cdb6fc6a8153cd3a5c53b0ab9cf4c4f6e8cbbeb
+DIST ppl-0.12.tar.bz2 14340705 RMD160 c5b92b7bb6a88af9bb15fad715795684eea3628e SHA1 b3d44499bea62da4153ceb9f61c6e7e77f608102 SHA256 1e450f03aae649f108825819190f3f5ebecac7ed94648669a7f2cb940a0b8686
 EBUILD ppl-0.10.2-r1.ebuild 1984 RMD160 e298a7ad340eef5a2593d331a2e3ce5dafc2b9c4 SHA1 b6dee3ac2530a4877c3466eddf6bbf8300e96473 SHA256 3bc54191a14a197d75b7f2692a3b42bb4140dd213134b15f5f678972536dfff5
 EBUILD ppl-0.11.2-r1.ebuild 2361 RMD160 fbdc8165819c1c38bc91098ad71eede650c1e869 SHA1 0b7324981b8ec4f8bfebf8dc90b5b69617721e0c SHA256 d3e690eaf9c77b5cf4048d7c6968d551553f9bba6b1be508a3262bfe3f191274
-MISC ChangeLog 6367 RMD160 3309571fc2a1975889167997bf46c1edd93a1bd2 SHA1 d6f62099400a27cce51a8a7568c460542279dc7d SHA256 ec9256f532a21dc06bea7cabb4ac0ef73dd95f5dbd97f8446a5420ffdde09fb5
+EBUILD ppl-0.12.ebuild 2378 RMD160 10613a58b596fc2ae4d7c3e7cede3f7f267fe48b SHA1 40ae8c79354304e699ce76e6b5012b55f8936de2 SHA256 5b072776552965c1f524fe9f0ada42a2786bfd2a514a579dc904c1f46feb8d57
+MISC ChangeLog 6475 RMD160 013c49a51749a7d9156ccd45e9fd4f3d80a81e43 SHA1 d8952aaefba1b8bc94cdaeb44b09b0c09a2f3ff4 SHA256 d173c2d5d32d24d9d4fcf8f26d68d097e65466994d9adf284c81a91a4537c585
 MISC metadata.xml 376 RMD160 35a3f51e589fcc11e5c0f3752ec242caab5a6d21 SHA1 3ae27b00adf52ef770e93914aaeba58a9395a006 SHA256 fabe9118c780fa161d82ce41dcb88ceb863bb98c956ad2533cb11be02a69ad0c
 -----BEGIN PGP SIGNATURE-----
-Version: GnuPG v2.0.18 (GNU/Linux)
+Version: GnuPG v2.0.19 (GNU/Linux)
 
-iEYEARECAAYFAk9B9i0ACgkQiqiDRvmkBmKR4ACdEPV+b/C/0hWYl0X60SwKhPsS
-V4kAmgKPnN+2zp7jW7rdqj0GC93cESdF
-=Q1LO
+iEYEARECAAYFAk+HteEACgkQiqiDRvmkBmKyJACg11ggT8Hztfre3LSKiwhBuTek
+M+kAoO7FzKxSokGX2X2PrcFO12k1Py7/
+=QxIS
 -----END PGP SIGNATURE-----
diff --git a/dev-libs/ppl/ppl-0.12.ebuild b/dev-libs/ppl/ppl-0.12.ebuild
new file mode 100644
index 000000000000..d8014f42694e
--- /dev/null
+++ b/dev-libs/ppl/ppl-0.12.ebuild
@@ -0,0 +1,83 @@
+# Copyright 1999-2012 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.12.ebuild,v 1.1 2012/04/13 05:04:04 dirtyepic Exp $
+
+EAPI="3"
+
+inherit eutils
+
+DESCRIPTION="The Parma Polyhedra Library provides numerical abstractions for analysis of complex systems"
+HOMEPAGE="http://bugseng.com/products/ppl"
+SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.bz2"
+
+LICENSE="GPL-3"
+SLOT="0"
+KEYWORDS="~alpha ~amd64 ~arm ~hppa ~ia64 ~mips ~ppc ~ppc64 ~s390 ~sh ~sparc ~x86 ~sparc-fbsd ~x86-fbsd ~amd64-linux ~sparc-solaris"
+IUSE="doc lpsol pch static-libs test"
+
+RDEPEND=">=dev-libs/gmp-4.1.3[cxx]
+	lpsol? ( sci-mathematics/glpk )
+	!<dev-libs/cloog-ppl-0.15.10"
+DEPEND="${RDEPEND}
+	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."
+		epause 3
+	fi
+}
+
+src_configure() {
+	# --disable-check doesn't work
+	use test && want_check="--enable-check=quick"
+	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="c cxx" \
+		$(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
+	if emake -j1 check -n &> /dev/null; then
+		emake check || die "tests failed"
+	fi
+}
+
+src_install() {
+	emake DESTDIR="${D}" install || die
+	use static-libs || rm -f "${D}"/usr/lib*/libppl*.la
+
+	local docsdir="${ED}/usr/share/doc/${PF}"
+	rm "${docsdir}"/gpl* "${docsdir}"/fdl* || die
+
+	if ! use doc; then
+		rm -r "${docsdir}"/*-html/ || die
+	fi
+
+	dodoc NEWS README* STANDARDS TODO
+}
+
+pkg_postinst() {
+	echo
+	ewarn "After an upgrade of PPL it is important that you rebuild"
+	ewarn "dev-libs/cloog-ppl."
+	ewarn
+	ewarn "If you use gcc-config to switch to an older compiler version than"
+	ewarn "the one PPL was built with, PPL must be rebuilt with that version."
+	ewarn
+	ewarn "In both cases failure to do this will get you this error when"
+	ewarn "graphite flags are used:"
+	ewarn
+	ewarn "    sorry, unimplemented: Graphite loop optimizations cannot be used"
+	ewarn
+	echo
+}