I actually use this, apparantly.

5 files changed, 339 insertions, 0 deletions

diff --git a/dev-libs/ppl/ChangeLog b/dev-libs/ppl/ChangeLog
new file mode 100644
index 0000000..f897461
--- /dev/null
+++ b/dev-libs/ppl/ChangeLog
@@ -0,0 +1,202 @@
+# 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.51 2012/04/29 06:51:32 dirtyepic Exp $
+
+*ppl-0.12.1 (29 Apr 2012)
+
+  29 Apr 2012; Ryan Hill <dirtyepic@gentoo.org> +ppl-0.12.1.ebuild:
+  Version bump.
+
+  26 Apr 2012; Alexis Ballier <aballier@gentoo.org> ppl-0.12.ebuild:
+  keyword ~amd64-fbsd
+
+  13 Apr 2012; Ryan Hill <dirtyepic@gentoo.org> ppl-0.12.ebuild:
+  Remove unused test var.
+
+*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.
+
+  18 Feb 2012; Raúl Porcel <armin76@gentoo.org> ppl-0.11.2-r1.ebuild:
+  alpha/ia64/s390/sh/sparc stable wrt #396631
+
+  13 Feb 2012; Kacper Kowalik <xarthisius@gentoo.org> ppl-0.11.2-r1.ebuild:
+  ppc64 stable wrt #396631
+
+  01 Feb 2012; Brent Baude <ranger@gentoo.org> ppl-0.11.2-r1.ebuild:
+  Marking ppl-0.11.2-r1 ppc for bug 396631
+
+  16 Jan 2012; Jeroen Roovers <jer@gentoo.org> ppl-0.11.2-r1.ebuild:
+  Stable for HPPA (bug #396631).
+
+  15 Jan 2012; Pawel Hajdan jr <phajdan.jr@gentoo.org> ppl-0.11.2-r1.ebuild:
+  x86 stable wrt bug #396631
+
+  14 Jan 2012; Markus Meier <maekke@gentoo.org> ppl-0.11.2-r1.ebuild:
+  arm stable, bug #396631
+
+  31 Dec 2011; Agostino Sarubbo <ago@gentoo.org> ppl-0.11.2-r1.ebuild:
+  Stable for AMD64, wrt bug #396631
+
+*ppl-0.11.2-r1 (15 Nov 2011)
+
+  15 Nov 2011; Mike Frysinger <vapier@gentoo.org> +ppl-0.11.2-r1.ebuild:
+  Add USE=static-libs support.
+
+  14 Nov 2011; Diego E. Pettenò <flameeyes@gentoo.org> ppl-0.10.2-r1.ebuild,
+  ppl-0.11.2.ebuild:
+  QA: cxx conditional was broken, fix it.
+
+  13 Nov 2011; Mike Frysinger <vapier@gentoo.org> ppl-0.10.2-r1.ebuild,
+  ppl-0.11.2.ebuild:
+  Convert gmp[-nocxx] to gmp[cxx].
+
+  20 Aug 2011; Chí-Thanh Christopher Nguyễn <chithanh@gentoo.org>
+  ppl-0.11.2.ebuild:
+  keyword ~sparc-solaris
+
+  16 Mar 2011; Ryan Hill <dirtyepic@gentoo.org> -ppl-0.11.1.ebuild:
+  Remove broken version.
+
+*ppl-0.11.2 (05 Mar 2011)
+
+  05 Mar 2011; Ryan Hill <dirtyepic@gentoo.org> -ppl-0.11.ebuild,
+  +ppl-0.11.2.ebuild:
+  Version bump, remove old.
+
+*ppl-0.11.1 (21 Feb 2011)
+
+  21 Feb 2011; Ryan Hill <dirtyepic@gentoo.org> +ppl-0.11.1.ebuild:
+  Version bump.
+
+  23 Jan 2011; Mike Frysinger <vapier@gentoo.org> ppl-0.11.ebuild:
+  Inherit eutils for epause #352519 by Diego Elio Pettenò.
+
+  08 Jan 2011; Jeremy Olexa <darkside@gentoo.org> ppl-0.11.ebuild:
+  add ~amd64-linux, bug 346861
+
+*ppl-0.11 (07 Jan 2011)
+
+  07 Jan 2011; Ryan Hill <dirtyepic@gentoo.org> +ppl-0.11.ebuild:
+  Version bump. (bug #345679)
+
+  21 Nov 2010; Ryan Hill <dirtyepic@gentoo.org> -ppl-0.10.2.ebuild,
+  ppl-0.10.2-r1.ebuild, -files/ppl-0.10.2-gmp-5-fix.patch, metadata.xml:
+  Add lpsol USE for automagic dependency on sci-mathematics/glpk discovered in
+  bug #346173 by mehrunes. Push GMP patch to mirrors, bug #331051 by jer.
+  Remove old.
+
+  10 Jul 2010; Samuli Suominen <ssuominen@gentoo.org> ppl-0.10.2-r1.ebuild:
+  ppc64 stable wrt #319885
+
+  06 Jun 2010; Raúl Porcel <armin76@gentoo.org> ppl-0.10.2-r1.ebuild:
+  alpha/ia64/s390/sh/sparc stable wrt #319885
+
+  03 Jun 2010; Markus Meier <maekke@gentoo.org> ppl-0.10.2-r1.ebuild:
+  arm stable, bug #319885
+
+  29 May 2010; Ryan Hill <dirtyepic@gentoo.org> ppl-0.10.2-r1.ebuild,
+  +files/ppl-0.10.2-gmp-5-fix.patch:
+  Fix configure failure with GMP 5.0. (bug #318845 by Mat)
+
+  27 May 2010; Jeroen Roovers <jer@gentoo.org> ppl-0.10.2-r1.ebuild:
+  Stable for HPPA (bug #319885).
+
+  25 May 2010; Markos Chandras <hwoarang@gentoo.org> ppl-0.10.2-r1.ebuild:
+  Stable on amd64 wrt bug #319885
+
+  24 May 2010; <nixnut@gentoo.org> ppl-0.10.2-r1.ebuild:
+  ppc stable #319885
+
+  22 May 2010; Pawel Hajdan jr <phajdan.jr@gentoo.org> ppl-0.10.2-r1.ebuild:
+  x86 stable wrt bug #319885
+
+  30 Apr 2010; Alexis Ballier <aballier@gentoo.org> ppl-0.10.2-r1.ebuild:
+  keyword ~sparc-fbsd
+
+*ppl-0.10.2-r1 (27 Feb 2010)
+
+  27 Feb 2010; Ryan Hill <dirtyepic@gentoo.org> +ppl-0.10.2-r1.ebuild:
+  Revision bump, drop prolog support (bug #307015 by Robert Cabrera).
+  Clean up ebuild.
+
+  19 Sep 2009; Alexis Ballier <aballier@gentoo.org> ppl-0.10.2.ebuild:
+  keyword ~x86-fbsd
+
+  01 Aug 2009; Ryan Hill <dirtyepic@gentoo.org> metadata.xml:
+  Add toolchain to metadata.xml
+
+  22 Jul 2009; Joseph Jezak <josejx@gentoo.org> ppl-0.10.2.ebuild:
+  Marked ~ppc for bug #269087.
+
+  27 Jun 2009; Tobias Klausmann <klausman@gentoo.org> ppl-0.10.2.ebuild:
+  Keyworded on alpha, bug #269088
+
+  07 Jun 2009; Raúl Porcel <armin76@gentoo.org> ppl-0.10.2.ebuild:
+  Add ~arm/~ia64/~s390/~sh wrt #269087
+
+  30 May 2009; Brent Baude <ranger@gentoo.org> ppl-0.10.2.ebuild:
+  Marking ppl-0.10.2 ~ppc64 for bug 269087
+
+  14 May 2009; Ferris McCormick <fmccor@gentoo.org> ppl-0.10.2.ebuild:
+  Add ~sparc keyword, Bug #269087.
+
+  12 May 2009; Jeroen Roovers <jer@gentoo.org> ppl-0.10.2.ebuild:
+  Marked ~hppa (bug #269087).
+
+  09 May 2009; Ryan Hill <dirtyepic@gentoo.org> -ppl-0.10-r1.ebuild:
+  Remove old.
+
+*ppl-0.10.2 (18 Apr 2009)
+
+  18 Apr 2009; Ryan Hill <dirtyepic@gentoo.org> metadata.xml,
+  -ppl-0.10.1.ebuild, +ppl-0.10.2.ebuild:
+  Version bump.  Fixes GMP version detection and tests not being run.
+  - make watchdog library optional
+  - build tests in parallel since they take forever
+  - pch USE flag
+
+*ppl-0.10.1 (14 Apr 2009)
+
+  14 Apr 2009; Ryan Hill <dirtyepic@gentoo.org> metadata.xml,
+  +ppl-0.10.1.ebuild:
+  Version bump.
+
+  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.
+
+*ppl-0.10-r1 (31 Jan 2009)
+
+  31 Jan 2009; Ryan Hill <dirtyepic@gentoo.org> +ppl-0.10-r1.ebuild:
+  Revision bump. Add missing dependency on GMP with C++ extensions. Fix
+  unwanted dependencies being autodectected by configure. Add doc USE flag
+  and fix docs installing into the wrong place.
+
+  01 Dec 2008; Mike Frysinger <vapier@gentoo.org> ppl-0.10.ebuild:
+  Fix typo pointed out by Sigmatador.
+
+*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.
+
+*ppl-0.10_pre27 (21 Sep 2008)
+
+  21 Sep 2008; Mike Frysinger <vapier@gentoo.org> +ppl-0.10_pre27.ebuild:
+  Initial ebuild based on work from Zhang Le for gcc-4.4+.
+
diff --git a/dev-libs/ppl/Manifest b/dev-libs/ppl/Manifest
new file mode 100644
index 0000000..7b23cd8
--- /dev/null
+++ b/dev-libs/ppl/Manifest
@@ -0,0 +1,5 @@
+AUX gcc-4.7.patch 1402 SHA256 043b4fb199d62ae67dcc5e7e2cebbfe4bad547498434ce061cb1d3819addded7 SHA512 4d0d3f42516951076747f7ca167aabb4b2c4e62114c97b81c0e70a2cc4464a86b7b78c9ace21008fb35d5911b8fcdc66968a2be26b72446639ba77e3f3c6b52f WHIRLPOOL 3a9e27028d7e0d5e2e9055842905f0565c914f16bc74d325d6f0d0457b1d4d96a32a1c1f888810afb9123cb0417d26a48e3ca43a5677a7e50c2e22ad1dc5e5b1
+DIST ppl-0.12.1.tar.bz2 14938132 SHA256 4022e54772f81c8ef66d3dd4c3d8dca48f72f9af614d8a36d05fbf5917f2b198 SHA512 e8a4c92271f608e79c5828c71ff2d36c681dd4bd48b5d31353b2a27bcf827a5cb8f0dcdfee3e13cf9f202f35a7693ddf9880dc4d5b8445ec558cef1319f43925 WHIRLPOOL 6616253d5c02c84294ec63e0601fa7bc65772fc72e6cea68f1300fa2b46f551311589813268d8e869cb59295d8fdc5be17a5b3d0cbb7b62fe0bc06a8bf9e1f39
+EBUILD ppl-0.12.1-r1.ebuild 2349 SHA256 bbdf50533c049ab0160efcecf47465acab1220803e21dee2dc42cd3609fd95c7 SHA512 68bcb5dcbe0e13d7e14a82fa94abaa4174787dbd451a68e1870c07ecc754a0d1b419c5958ea9c1f65cc29da8f28dc2baae6621f535430b5067c4211880b10d8d WHIRLPOOL c7ad6e289132215556350135ef6cdeadacce0c04152afc8c02d20cdac0c24501984e5303136ddce2aa20d964aab55df413bfe771df29640829990b11d312d6ab
+MISC ChangeLog 6771 SHA256 5d93f60286693055afde6674dff8f5305c5606104a32e7d8f2598a8756649c62 SHA512 786db7013b0144aa75a036c456f9d99709034a76bc98b78dcfa40c36c417c01edf149fd751adbb67b6e7760a69b2eba23048b674303c14928d781b4120d02ad2 WHIRLPOOL 7b53604e2cdc5157944983142dbd2dd835257e22dfc19faf9df2ea6f7002aacf0a8111a20495a5a9d3e6e01c5d9820f82c269624691e98a69a3ee6fb3945e677
+MISC metadata.xml 376 SHA256 fabe9118c780fa161d82ce41dcb88ceb863bb98c956ad2533cb11be02a69ad0c SHA512 5f012aba978c0c7ee479dc3501dbc9299c4c74210e737d5e0d2161e5b7ed8d13c7890ccd49ec5f8a42af38d2b2de52d33e65729c48d4dddbecd44d78e3cf91ca WHIRLPOOL 745f1688991be5cd68050e52eeeade2d1f7b09295816462f34ac9b058451fa46b3b42160f55b5119f36b2774c5bfa562baf0a697e15e57f05b988c0d4f3a0569
diff --git a/dev-libs/ppl/files/gcc-4.7.patch b/dev-libs/ppl/files/gcc-4.7.patch
new file mode 100644
index 0000000..ff2423e
--- /dev/null
+++ b/dev-libs/ppl/files/gcc-4.7.patch
@@ -0,0 +1,41 @@
+--- src/p_std_bits.cc.org	2012-12-30 00:37:03.033948083 +0100
++++ src/mp_std_bits.cc	2012-12-30 00:44:12.893019313 +0100
+@@ -25,6 +25,9 @@
+ #include "ppl-config.h"
+ #include "mp_std_bits.defs.hh"
+ 
++#if __GNU_MP_VERSION < 5 \
++  || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
++
+ const bool std::numeric_limits<mpz_class>::is_specialized;
+ const int std::numeric_limits<mpz_class>::digits;
+ const int std::numeric_limits<mpz_class>::digits10;
+@@ -70,3 +73,6 @@
+ const bool std::numeric_limits<mpq_class>::traps;
+ const bool std::numeric_limits<mpq_class>::tininess_before;
+ const std::float_round_style std::numeric_limits<mpq_class>::round_style;
++
++#endif // __GNU_MP_VERSION < 5
++       // || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
+--- src/mp_std_bits.defs.hh.org	2012-12-30 00:37:03.037948187 +0100
++++ src/mp_std_bits.defs.hh	2012-12-30 00:42:32.002424189 +0100
+@@ -38,6 +38,9 @@
+ #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
+ void swap(mpq_class& x, mpq_class& y);
+ 
++#if __GNU_MP_VERSION < 5 \
++  || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
++
+ namespace std {
+ 
+ #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
+@@ -164,6 +167,9 @@
+ 
+ } // namespace std
+ 
++#endif // __GNU_MP_VERSION < 5
++       // || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
++
+ #include "mp_std_bits.inlines.hh"
+ 
+ #endif // !defined(PPL_mp_std_bits_defs_hh)
diff --git a/dev-libs/ppl/metadata.xml b/dev-libs/ppl/metadata.xml
new file mode 100644
index 0000000..7f0c6a3
--- /dev/null
+++ b/dev-libs/ppl/metadata.xml
@@ -0,0 +1,9 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+<herd>toolchain</herd>
+<use>
+  <flag name='lpsol'>Build the ppl_lpsol linear programming problem solver</flag>
+  <flag name='watchdog'>Build the PPL Watchdog library - a C++ library for multiple, concurrent watchdog timers</flag>
+</use>
+</pkgmetadata>
diff --git a/dev-libs/ppl/ppl-0.12.1-r1.ebuild b/dev-libs/ppl/ppl-0.12.1-r1.ebuild
new file mode 100644
index 0000000..ec27847
--- /dev/null
+++ b/dev-libs/ppl/ppl-0.12.1-r1.ebuild
@@ -0,0 +1,82 @@
+# 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.1.ebuild,v 1.1 2012/04/29 06:51:32 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 ~amd64-fbsd ~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() {
+	epatch "${FILESDIR}/gcc-4.7.patch"
+	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
+}