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 |
} |