diff options
author | 2011-11-15 04:03:55 +0000 | |
---|---|---|
committer | 2011-11-15 04:03:55 +0000 | |
commit | 3a1a90f936bb73c3d23fe8993aa76f4754a85412 (patch) | |
tree | 6fd4de2722a3fa4ec517ff67f0fca6ccb114f9a0 /dev-libs | |
parent | Add USE=static-libs support. (diff) | |
download | historical-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/ChangeLog | 7 | ||||
-rw-r--r-- | dev-libs/ppl/Manifest | 11 | ||||
-rw-r--r-- | dev-libs/ppl/ppl-0.11.2-r1.ebuild | 83 |
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 +} |