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.10-r1.ebuild ppl-0.10.ebuild ppl-0.10_pre27.ebuild
Date: Sun, 22 Mar 2009 23:08:37
Message-Id: E1LlWmH-0007C7-O6@stork.gentoo.org
1 dirtyepic 09/03/22 23:08:25
2
3 Modified: ChangeLog ppl-0.10-r1.ebuild
4 Removed: ppl-0.10.ebuild ppl-0.10_pre27.ebuild
5 Log:
6 Require swi-prolog built with USE=gmp for bug #263368. Drop old. Shorten
7 desc for repoman happiness.
8 (Portage version: 2.2_rc26/cvs/Linux x86_64)
9
10 Revision Changes Path
11 1.7 dev-libs/ppl/ChangeLog
12
13 file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.7&view=markup
14 plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.7&content-type=text/plain
15 diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-libs/ppl/ChangeLog?r1=1.6&r2=1.7
16
17 Index: ChangeLog
18 ===================================================================
19 RCS file: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v
20 retrieving revision 1.6
21 retrieving revision 1.7
22 diff -u -r1.6 -r1.7
23 --- ChangeLog 23 Feb 2009 06:05:26 -0000 1.6
24 +++ ChangeLog 22 Mar 2009 23:08:25 -0000 1.7
25 @@ -1,6 +1,11 @@
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.6 2009/02/23 06:05:26 dirtyepic Exp $
29 +# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.7 2009/03/22 23:08:25 dirtyepic Exp $
30 +
31 + 22 Mar 2009; Ryan Hill <dirtyepic@g.o> -ppl-0.10_pre27.ebuild,
32 + -ppl-0.10.ebuild, ppl-0.10-r1.ebuild:
33 + Require swi-prolog built with USE=gmp for bug #263368. Drop old. Shorten
34 + desc for repoman happiness.
35
36 23 Feb 2009; Ryan Hill <dirtyepic@g.o> ppl-0.10-r1.ebuild:
37 Stop using prepalldocs.
38
39
40
41 1.4 dev-libs/ppl/ppl-0.10-r1.ebuild
42
43 file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-libs/ppl/ppl-0.10-r1.ebuild?rev=1.4&view=markup
44 plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-libs/ppl/ppl-0.10-r1.ebuild?rev=1.4&content-type=text/plain
45 diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-libs/ppl/ppl-0.10-r1.ebuild?r1=1.3&r2=1.4
46
47 Index: ppl-0.10-r1.ebuild
48 ===================================================================
49 RCS file: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10-r1.ebuild,v
50 retrieving revision 1.3
51 retrieving revision 1.4
52 diff -u -r1.3 -r1.4
53 --- ppl-0.10-r1.ebuild 23 Feb 2009 06:05:26 -0000 1.3
54 +++ ppl-0.10-r1.ebuild 22 Mar 2009 23:08:25 -0000 1.4
55 @@ -1,10 +1,10 @@
56 # Copyright 1999-2009 Gentoo Foundation
57 # Distributed under the terms of the GNU General Public License v2
58 -# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10-r1.ebuild,v 1.3 2009/02/23 06:05:26 dirtyepic Exp $
59 +# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10-r1.ebuild,v 1.4 2009/03/22 23:08:25 dirtyepic Exp $
60
61 EAPI=2
62
63 -DESCRIPTION="The Parma Polyhedra Library (PPL) is a modern and reasonably complete library providing numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems"
64 +DESCRIPTION="The Parma Polyhedra Library provides numerical abstractions for analysis of complex systems"
65 HOMEPAGE="http://www.cs.unipr.it/ppl/"
66 SRC_URI="http://www.cs.unipr.it/ppl/Download/ftp/releases/${PV}/${P}.tar.bz2
67 ftp://ftp.cs.unipr.it/pub/ppl/releases/${PV}/${P}.tar.bz2"
68 @@ -14,7 +14,7 @@
69 KEYWORDS="~amd64 ~mips ~x86"
70 IUSE="doc prolog"
71
72 -RDEPEND="prolog? ( dev-lang/swi-prolog )
73 +RDEPEND="prolog? ( dev-lang/swi-prolog[gmp] )
74 >=dev-libs/gmp-4.1.3[-nocxx]"
75 DEPEND="${RDEPEND}
76 sys-devel/m4"