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.10.2-r1.ebuild |
Date: | Sat, 27 Feb 2010 05:31:10 |
Message-Id: | E1NlFGe-0003iC-7r@stork.gentoo.org |
1 | dirtyepic 10/02/27 05:31:08 |
2 | |
3 | Modified: ChangeLog |
4 | Added: ppl-0.10.2-r1.ebuild |
5 | Log: |
6 | Revision bump, drop prolog support (bug #307015 by Robert Cabrera). |
7 | Clean up ebuild. |
8 | (Portage version: 2.2_rc63/cvs/Linux x86_64) |
9 | |
10 | Revision Changes Path |
11 | 1.19 dev-libs/ppl/ChangeLog |
12 | |
13 | file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.19&view=markup |
14 | plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.19&content-type=text/plain |
15 | diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-libs/ppl/ChangeLog?r1=1.18&r2=1.19 |
16 | |
17 | Index: ChangeLog |
18 | =================================================================== |
19 | RCS file: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v |
20 | retrieving revision 1.18 |
21 | retrieving revision 1.19 |
22 | diff -u -r1.18 -r1.19 |
23 | --- ChangeLog 19 Sep 2009 23:30:17 -0000 1.18 |
24 | +++ ChangeLog 27 Feb 2010 05:31:07 -0000 1.19 |
25 | @@ -1,6 +1,12 @@ |
26 | # ChangeLog for dev-libs/ppl |
27 | -# Copyright 1999-2009 Gentoo Foundation; Distributed under the GPL v2 |
28 | -# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.18 2009/09/19 23:30:17 aballier Exp $ |
29 | +# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2 |
30 | +# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.19 2010/02/27 05:31:07 dirtyepic Exp $ |
31 | + |
32 | +*ppl-0.10.2-r1 (27 Feb 2010) |
33 | + |
34 | + 27 Feb 2010; Ryan Hill <dirtyepic@g.o> +ppl-0.10.2-r1.ebuild: |
35 | + Revision bump, drop prolog support (bug #307015 by Robert Cabrera). |
36 | + Clean up ebuild. |
37 | |
38 | 19 Sep 2009; Alexis Ballier <aballier@g.o> ppl-0.10.2.ebuild: |
39 | keyword ~x86-fbsd |
40 | |
41 | |
42 | |
43 | 1.1 dev-libs/ppl/ppl-0.10.2-r1.ebuild |
44 | |
45 | file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild?rev=1.1&view=markup |
46 | plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild?rev=1.1&content-type=text/plain |
47 | |
48 | Index: ppl-0.10.2-r1.ebuild |
49 | =================================================================== |
50 | # Copyright 1999-2010 Gentoo Foundation |
51 | # Distributed under the terms of the GNU General Public License v2 |
52 | # $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild,v 1.1 2010/02/27 05:31:07 dirtyepic Exp $ |
53 | |
54 | EAPI=2 |
55 | |
56 | inherit eutils |
57 | |
58 | DESCRIPTION="The Parma Polyhedra Library provides numerical abstractions for analysis of complex systems" |
59 | HOMEPAGE="http://www.cs.unipr.it/ppl/" |
60 | SRC_URI="http://www.cs.unipr.it/ppl/Download/ftp/releases/${PV}/${P}.tar.bz2" |
61 | |
62 | LICENSE="GPL-3" |
63 | SLOT="0" |
64 | KEYWORDS="~alpha ~amd64 ~arm ~hppa ~ia64 ~mips ~ppc ~ppc64 ~s390 ~sh ~sparc ~x86 ~x86-fbsd" |
65 | IUSE="doc pch test watchdog" |
66 | |
67 | RDEPEND=">=dev-libs/gmp-4.1.3[-nocxx]" |
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=/usr/share/doc/${PF} \ |
84 | --disable-debugging \ |
85 | --disable-optimization \ |
86 | $(use_enable pch) \ |
87 | $(use_enable watchdog) \ |
88 | --enable-interfaces="c cxx" \ |
89 | ${want_check} \ |
90 | || die "configure failed" |
91 | } |
92 | |
93 | src_test() { |
94 | # default src_test runs with -j1, overriding it here saves about |
95 | # 30 minutes and is recommended by upstream |
96 | if emake -j1 check -n &> /dev/null; then |
97 | emake check || die "tests failed" |
98 | fi |
99 | } |
100 | |
101 | src_install() { |
102 | emake DESTDIR="${D}" install || die "install failed" |
103 | |
104 | if ! use doc; then |
105 | rm -r "${D}"/usr/share/doc/${PF}/ppl-user*-html |
106 | rm -r "${D}"/usr/share/doc/${PF}/pwl-user*-html |
107 | fi |
108 | |
109 | cd "${S}" |
110 | dodoc NEWS README README.configure STANDARDS TODO |
111 | } |