summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMike Frysinger <vapier@gentoo.org>2011-11-15 04:03:55 +0000
committerMike Frysinger <vapier@gentoo.org>2011-11-15 04:03:55 +0000
commit3a1a90f936bb73c3d23fe8993aa76f4754a85412 (patch)
tree6fd4de2722a3fa4ec517ff67f0fca6ccb114f9a0 /dev-libs
parentAdd USE=static-libs support. (diff)
downloadhistorical-3a1a90f936bb73c3d23fe8993aa76f4754a85412.tar.gz
historical-3a1a90f936bb73c3d23fe8993aa76f4754a85412.tar.bz2
historical-3a1a90f936bb73c3d23fe8993aa76f4754a85412.zip
Add USE=static-libs support.
Package-Manager: portage-2.2.0_alpha74/cvs/Linux x86_64
Diffstat (limited to 'dev-libs')
-rw-r--r--dev-libs/ppl/ChangeLog7
-rw-r--r--dev-libs/ppl/Manifest11
-rw-r--r--dev-libs/ppl/ppl-0.11.2-r1.ebuild83
3 files changed, 95 insertions, 6 deletions
diff --git a/dev-libs/ppl/ChangeLog b/dev-libs/ppl/ChangeLog
index ebae749df63a..a54fcbff7177 100644
--- a/dev-libs/ppl/ChangeLog
+++ b/dev-libs/ppl/ChangeLog
@@ -1,6 +1,11 @@
# ChangeLog for dev-libs/ppl
# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.38 2011/11/14 11:18:56 flameeyes Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.39 2011/11/15 04:03:55 vapier Exp $
+
+*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:
diff --git a/dev-libs/ppl/Manifest b/dev-libs/ppl/Manifest
index 845b49be6909..ee9c9ebeda2a 100644
--- a/dev-libs/ppl/Manifest
+++ b/dev-libs/ppl/Manifest
@@ -1,17 +1,18 @@
-----BEGIN PGP SIGNED MESSAGE-----
-Hash: SHA1
+Hash: SHA256
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
EBUILD ppl-0.10.2-r1.ebuild 1984 RMD160 e298a7ad340eef5a2593d331a2e3ce5dafc2b9c4 SHA1 b6dee3ac2530a4877c3466eddf6bbf8300e96473 SHA256 3bc54191a14a197d75b7f2692a3b42bb4140dd213134b15f5f678972536dfff5
+EBUILD ppl-0.11.2-r1.ebuild 2371 RMD160 e287eb3d0f7baec5a89732cb01e34c68f56bb5e8 SHA1 372492333a01d67c6947d06db2187a808c94de22 SHA256 6370153397614ba5df6a0c70d724da9fbc53fe32a932e3485fa06819324ba287
EBUILD ppl-0.11.2.ebuild 2370 RMD160 874ee5264b40942c9b499d05b0f07e47c019c537 SHA1 f2eff7f8920c98d7e23d4b96ebad79e7d281837b SHA256 cf06fb90471fa76b1544e1d9af95fe01ff2f8798824d382a70a54e1505ad2a9a
-MISC ChangeLog 5399 RMD160 a1a20059a2380dabaea37e6b286a3570f9257806 SHA1 f6dae378ef519b8cd574cd831020d2a868bda56b SHA256 9e1d2c6e140c8dfe47e0695c48a3ca80d0afab02e763ae677f10e502229fe1bc
+MISC ChangeLog 5531 RMD160 1be3076910bf70a0f00570d55cd5a0d17cb3cc87 SHA1 6cae0ec1dc6f144fe20cac58813ab01798e61468 SHA256 da250a065c607512941906faeac00a2b01262e4d6d8eb5263ed18c2db9d8abef
MISC metadata.xml 376 RMD160 35a3f51e589fcc11e5c0f3752ec242caab5a6d21 SHA1 3ae27b00adf52ef770e93914aaeba58a9395a006 SHA256 fabe9118c780fa161d82ce41dcb88ceb863bb98c956ad2533cb11be02a69ad0c
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.18 (GNU/Linux)
-iEYEARECAAYFAk7A+SoACgkQAiZjviIA2XiTSwCg11o+xbJ6BIXOcFg95jFP31lc
-os0AoIQM1Q/aW3bTrTb4lu0Ldgahg+wv
-=VmjG
+iF4EAREIAAYFAk7B5LMACgkQaC/OocHi7JbYvQD/UMhadrRG4tKIhcEid9R2jRxI
+uH4PAmqak0xukAB7pQ0A/2lJtKyNJPpa0UBFB79Dt+9uWhxpm10CgPAKWEFepMkl
+=FFlI
-----END PGP SIGNATURE-----
diff --git a/dev-libs/ppl/ppl-0.11.2-r1.ebuild b/dev-libs/ppl/ppl-0.11.2-r1.ebuild
new file mode 100644
index 000000000000..1074efcaca19
--- /dev/null
+++ b/dev-libs/ppl/ppl-0.11.2-r1.ebuild
@@ -0,0 +1,83 @@
+# Copyright 1999-2011 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.11.2-r1.ebuild,v 1.1 2011/11/15 04:03:55 vapier Exp $
+
+EAPI="3"
+
+inherit eutils
+
+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"
+
+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 watchdog"
+
+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 lpsol ppl_lpsol) \
+ $(use_enable pch) \
+ $(use_enable static-libs static) \
+ $(use_enable watchdog) \
+ --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
+}