Gentoo Archives: gentoo-commits

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 }