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.11.1.ebuild
Date: Mon, 21 Feb 2011 02:38:27
Message-Id: 20110221023815.CE69D20057@flycatcher.gentoo.org
1 dirtyepic 11/02/21 02:38:15
2
3 Modified: ChangeLog
4 Added: ppl-0.11.1.ebuild
5 Log:
6 Version bump.
7
8 (Portage version: 2.2.0_alpha24/cvs/Linux x86_64)
9
10 Revision Changes Path
11 1.33 dev-libs/ppl/ChangeLog
12
13 file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.33&view=markup
14 plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.33&content-type=text/plain
15 diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?r1=1.32&r2=1.33
16
17 Index: ChangeLog
18 ===================================================================
19 RCS file: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v
20 retrieving revision 1.32
21 retrieving revision 1.33
22 diff -u -r1.32 -r1.33
23 --- ChangeLog 23 Jan 2011 20:03:54 -0000 1.32
24 +++ ChangeLog 21 Feb 2011 02:38:15 -0000 1.33
25 @@ -1,6 +1,11 @@
26 # ChangeLog for dev-libs/ppl
27 # Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
28 -# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.32 2011/01/23 20:03:54 vapier Exp $
29 +# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.33 2011/02/21 02:38:15 dirtyepic Exp $
30 +
31 +*ppl-0.11.1 (21 Feb 2011)
32 +
33 + 21 Feb 2011; Ryan Hill <dirtyepic@g.o> +ppl-0.11.1.ebuild:
34 + Version bump.
35
36 23 Jan 2011; Mike Frysinger <vapier@g.o> ppl-0.11.ebuild:
37 Inherit eutils for epause #352519 by Diego Elio Pettenò.
38
39
40
41 1.1 dev-libs/ppl/ppl-0.11.1.ebuild
42
43 file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-0.11.1.ebuild?rev=1.1&view=markup
44 plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-0.11.1.ebuild?rev=1.1&content-type=text/plain
45
46 Index: ppl-0.11.1.ebuild
47 ===================================================================
48 # Copyright 1999-2011 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.11.1.ebuild,v 1.1 2011/02/21 02:38:15 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://www.cs.unipr.it/ppl/"
58 SRC_URI="http://www.cs.unipr.it/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 ~sparc-fbsd ~x86-fbsd ~amd64-linux"
63 IUSE="doc lpsol pch test watchdog"
64
65 RDEPEND=">=dev-libs/gmp-4.1.3[-nocxx]
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 # --disable-check doesn't work
81 use test && want_check="--enable-check=quick"
82 econf \
83 --docdir="${EPREFIX}"/usr/share/doc/${PF} \
84 --disable-debugging \
85 --disable-optimization \
86 $(use_enable lpsol ppl_lpsol) \
87 $(use_enable pch) \
88 $(use_enable watchdog) \
89 --enable-interfaces="c cxx" \
90 ${want_check} \
91 || die "configure failed"
92 }
93
94 src_test() {
95 # default src_test runs with -j1, overriding it here saves about
96 # 30 minutes and is recommended by upstream
97 if emake -j1 check -n &> /dev/null; then
98 emake check || die "tests failed"
99 fi
100 }
101
102 src_install() {
103 emake DESTDIR="${D}" install || die "Failed install"
104
105 local docsdir="${ED}/usr/share/doc/${PF}"
106 rm "${docsdir}"/gpl* "${docsdir}"/fdl* || die "Failed removing licenses"
107
108 if ! use doc; then
109 rm -r "${docsdir}"/*-html/ || die "Failed removing docs"
110 fi
111
112 dodoc NEWS README* STANDARDS TODO
113 }
114
115 pkg_postinst() {
116 echo
117 ewarn "After an upgrade of PPL it is important that you rebuild"
118 ewarn "dev-libs/cloog-ppl."
119 ewarn
120 ewarn "If you use gcc-config to switch to an older compiler version than"
121 ewarn "the one PPL was built with, PPL must be rebuilt with that version."
122 ewarn
123 ewarn "In both cases failure to do this will get you this error when"
124 ewarn "graphite flags are used:"
125 ewarn
126 ewarn " sorry, unimplemented: Graphite loop optimizations cannot be used"
127 ewarn
128 echo
129 }