From: | "Ryan Hill (dirtyepic)" <dirtyepic@g.o> |
---|---|
To: | gentoo-commits@l.g.o |
Subject: | [gentoo-commits] gentoo-x86 commit in dev-libs/ppl: ChangeLog ppl-0.12.1.ebuild |
Date: | Sun, 29 Apr 2012 06:51:54 |
Message-Id: | 20120429065132.54FD12004B@flycatcher.gentoo.org |
1 | dirtyepic 12/04/29 06:51:32 |
2 | |
3 | Modified: ChangeLog |
4 | Added: ppl-0.12.1.ebuild |
5 | Log: |
6 | Version bump. |
7 | |
8 | (Portage version: 2.2.0_alpha101/cvs/Linux x86_64) |
9 | |
10 | Revision Changes Path |
11 | 1.51 dev-libs/ppl/ChangeLog |
12 | |
13 | file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.51&view=markup |
14 | plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.51&content-type=text/plain |
15 | diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?r1=1.50&r2=1.51 |
16 | |
17 | Index: ChangeLog |
18 | =================================================================== |
19 | RCS file: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v |
20 | retrieving revision 1.50 |
21 | retrieving revision 1.51 |
22 | diff -u -r1.50 -r1.51 |
23 | --- ChangeLog 26 Apr 2012 18:59:40 -0000 1.50 |
24 | +++ ChangeLog 29 Apr 2012 06:51:32 -0000 1.51 |
25 | @@ -1,6 +1,11 @@ |
26 | # ChangeLog for dev-libs/ppl |
27 | # Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2 |
28 | -# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.50 2012/04/26 18:59:40 aballier Exp $ |
29 | +# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.51 2012/04/29 06:51:32 dirtyepic Exp $ |
30 | + |
31 | +*ppl-0.12.1 (29 Apr 2012) |
32 | + |
33 | + 29 Apr 2012; Ryan Hill <dirtyepic@g.o> +ppl-0.12.1.ebuild: |
34 | + Version bump. |
35 | |
36 | 26 Apr 2012; Alexis Ballier <aballier@g.o> ppl-0.12.ebuild: |
37 | keyword ~amd64-fbsd |
38 | |
39 | |
40 | |
41 | 1.1 dev-libs/ppl/ppl-0.12.1.ebuild |
42 | |
43 | file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-0.12.1.ebuild?rev=1.1&view=markup |
44 | plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-0.12.1.ebuild?rev=1.1&content-type=text/plain |
45 | |
46 | Index: ppl-0.12.1.ebuild |
47 | =================================================================== |
48 | # Copyright 1999-2012 Gentoo Foundation |
49 | # Distributed under the terms of the GNU General Public License v2 |
50 | # $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.12.1.ebuild,v 1.1 2012/04/29 06:51:32 dirtyepic Exp $ |
51 | |
52 | EAPI="3" |
53 | |
54 | inherit eutils |
55 | |
56 | DESCRIPTION="The Parma Polyhedra Library provides numerical abstractions for analysis of complex systems" |
57 | HOMEPAGE="http://bugseng.com/products/ppl" |
58 | SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.bz2" |
59 | |
60 | LICENSE="GPL-3" |
61 | SLOT="0" |
62 | KEYWORDS="~alpha ~amd64 ~arm ~hppa ~ia64 ~mips ~ppc ~ppc64 ~s390 ~sh ~sparc ~x86 ~amd64-fbsd ~sparc-fbsd ~x86-fbsd ~amd64-linux ~sparc-solaris" |
63 | IUSE="doc lpsol pch static-libs test" |
64 | |
65 | RDEPEND=">=dev-libs/gmp-4.1.3[cxx] |
66 | lpsol? ( sci-mathematics/glpk ) |
67 | !<dev-libs/cloog-ppl-0.15.10" |
68 | DEPEND="${RDEPEND} |
69 | sys-devel/m4" |
70 | |
71 | pkg_setup() { |
72 | if use test; then |
73 | ewarn "The PPL testsuite will be run." |
74 | ewarn "Note that this can take several hours to complete on a fast machine." |
75 | epause 3 |
76 | fi |
77 | } |
78 | |
79 | src_configure() { |
80 | econf \ |
81 | --docdir="${EPREFIX}"/usr/share/doc/${PF} \ |
82 | --disable-debugging \ |
83 | --disable-optimization \ |
84 | $(use_enable doc documentation) \ |
85 | $(use_enable lpsol ppl_lpsol) \ |
86 | $(use_enable pch) \ |
87 | $(use_enable static-libs static) \ |
88 | --enable-interfaces="c cxx" \ |
89 | $(use test && echo --enable-check=quick) |
90 | } |
91 | |
92 | src_test() { |
93 | # default src_test runs with -j1, overriding it here saves about |
94 | # 30 minutes and is recommended by upstream |
95 | if emake -j1 check -n &> /dev/null; then |
96 | emake check || die "tests failed" |
97 | fi |
98 | } |
99 | |
100 | src_install() { |
101 | emake DESTDIR="${D}" install || die |
102 | use static-libs || rm -f "${D}"/usr/lib*/libppl*.la |
103 | |
104 | local docsdir="${ED}/usr/share/doc/${PF}" |
105 | rm "${docsdir}"/gpl* "${docsdir}"/fdl* || die |
106 | |
107 | if ! use doc; then |
108 | rm -r "${docsdir}"/*-html/ || die |
109 | fi |
110 | |
111 | dodoc NEWS README* STANDARDS TODO |
112 | } |
113 | |
114 | pkg_postinst() { |
115 | echo |
116 | ewarn "After an upgrade of PPL it is important that you rebuild" |
117 | ewarn "dev-libs/cloog-ppl." |
118 | ewarn |
119 | ewarn "If you use gcc-config to switch to an older compiler version than" |
120 | ewarn "the one PPL was built with, PPL must be rebuilt with that version." |
121 | ewarn |
122 | ewarn "In both cases failure to do this will get you this error when" |
123 | ewarn "graphite flags are used:" |
124 | ewarn |
125 | ewarn " sorry, unimplemented: Graphite loop optimizations cannot be used" |
126 | ewarn |
127 | echo |
128 | } |