* [gentoo-commits] gentoo-x86 commit in dev-libs/ppl: ChangeLog ppl-0.10.2-r1.ebuild
@ 2010-02-27 5:31 Ryan Hill (dirtyepic)
0 siblings, 0 replies; 10+ messages in thread
From: Ryan Hill (dirtyepic) @ 2010-02-27 5:31 UTC (permalink / raw
To: gentoo-commits
dirtyepic 10/02/27 05:31:08
Modified: ChangeLog
Added: ppl-0.10.2-r1.ebuild
Log:
Revision bump, drop prolog support (bug #307015 by Robert Cabrera).
Clean up ebuild.
(Portage version: 2.2_rc63/cvs/Linux x86_64)
Revision Changes Path
1.19 dev-libs/ppl/ChangeLog
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.19&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.19&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-libs/ppl/ChangeLog?r1=1.18&r2=1.19
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v
retrieving revision 1.18
retrieving revision 1.19
diff -u -r1.18 -r1.19
--- ChangeLog 19 Sep 2009 23:30:17 -0000 1.18
+++ ChangeLog 27 Feb 2010 05:31:07 -0000 1.19
@@ -1,6 +1,12 @@
# ChangeLog for dev-libs/ppl
-# Copyright 1999-2009 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.18 2009/09/19 23:30:17 aballier Exp $
+# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.19 2010/02/27 05:31:07 dirtyepic Exp $
+
+*ppl-0.10.2-r1 (27 Feb 2010)
+
+ 27 Feb 2010; Ryan Hill <dirtyepic@gentoo.org> +ppl-0.10.2-r1.ebuild:
+ Revision bump, drop prolog support (bug #307015 by Robert Cabrera).
+ Clean up ebuild.
19 Sep 2009; Alexis Ballier <aballier@gentoo.org> ppl-0.10.2.ebuild:
keyword ~x86-fbsd
1.1 dev-libs/ppl/ppl-0.10.2-r1.ebuild
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild?rev=1.1&view=markup
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
Index: ppl-0.10.2-r1.ebuild
===================================================================
# Copyright 1999-2010 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $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 $
EAPI=2
inherit eutils
DESCRIPTION="The Parma Polyhedra Library provides numerical abstractions for analysis of complex systems"
HOMEPAGE="http://www.cs.unipr.it/ppl/"
SRC_URI="http://www.cs.unipr.it/ppl/Download/ftp/releases/${PV}/${P}.tar.bz2"
LICENSE="GPL-3"
SLOT="0"
KEYWORDS="~alpha ~amd64 ~arm ~hppa ~ia64 ~mips ~ppc ~ppc64 ~s390 ~sh ~sparc ~x86 ~x86-fbsd"
IUSE="doc pch test watchdog"
RDEPEND=">=dev-libs/gmp-4.1.3[-nocxx]"
DEPEND="${RDEPEND}
sys-devel/m4"
pkg_setup() {
if use test; then
ewarn "The PPL testsuite will be run."
ewarn "Note that this can take several hours to complete on a fast machine."
epause 3
fi
}
src_configure() {
# --disable-check doesn't work
use test && want_check="--enable-check=quick"
econf \
--docdir=/usr/share/doc/${PF} \
--disable-debugging \
--disable-optimization \
$(use_enable pch) \
$(use_enable watchdog) \
--enable-interfaces="c cxx" \
${want_check} \
|| die "configure failed"
}
src_test() {
# default src_test runs with -j1, overriding it here saves about
# 30 minutes and is recommended by upstream
if emake -j1 check -n &> /dev/null; then
emake check || die "tests failed"
fi
}
src_install() {
emake DESTDIR="${D}" install || die "install failed"
if ! use doc; then
rm -r "${D}"/usr/share/doc/${PF}/ppl-user*-html
rm -r "${D}"/usr/share/doc/${PF}/pwl-user*-html
fi
cd "${S}"
dodoc NEWS README README.configure STANDARDS TODO
}
^ permalink raw reply [flat|nested] 10+ messages in thread
* [gentoo-commits] gentoo-x86 commit in dev-libs/ppl: ChangeLog ppl-0.10.2-r1.ebuild
@ 2010-04-30 5:17 Alexis Ballier (aballier)
0 siblings, 0 replies; 10+ messages in thread
From: Alexis Ballier (aballier) @ 2010-04-30 5:17 UTC (permalink / raw
To: gentoo-commits
aballier 10/04/30 05:17:28
Modified: ChangeLog ppl-0.10.2-r1.ebuild
Log:
keyword ~sparc-fbsd
(Portage version: 2.2_rc67/cvs/Linux x86_64)
Revision Changes Path
1.20 dev-libs/ppl/ChangeLog
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.20&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.20&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-libs/ppl/ChangeLog?r1=1.19&r2=1.20
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v
retrieving revision 1.19
retrieving revision 1.20
diff -u -r1.19 -r1.20
--- ChangeLog 27 Feb 2010 05:31:07 -0000 1.19
+++ ChangeLog 30 Apr 2010 05:17:28 -0000 1.20
@@ -1,6 +1,9 @@
# ChangeLog for dev-libs/ppl
# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.19 2010/02/27 05:31:07 dirtyepic Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.20 2010/04/30 05:17:28 aballier Exp $
+
+ 30 Apr 2010; Alexis Ballier <aballier@gentoo.org> ppl-0.10.2-r1.ebuild:
+ keyword ~sparc-fbsd
*ppl-0.10.2-r1 (27 Feb 2010)
1.2 dev-libs/ppl/ppl-0.10.2-r1.ebuild
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild?rev=1.2&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild?rev=1.2&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild?r1=1.1&r2=1.2
Index: ppl-0.10.2-r1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- ppl-0.10.2-r1.ebuild 27 Feb 2010 05:31:07 -0000 1.1
+++ ppl-0.10.2-r1.ebuild 30 Apr 2010 05:17:28 -0000 1.2
@@ -1,6 +1,6 @@
# Copyright 1999-2010 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $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 $
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild,v 1.2 2010/04/30 05:17:28 aballier Exp $
EAPI=2
@@ -12,7 +12,7 @@
LICENSE="GPL-3"
SLOT="0"
-KEYWORDS="~alpha ~amd64 ~arm ~hppa ~ia64 ~mips ~ppc ~ppc64 ~s390 ~sh ~sparc ~x86 ~x86-fbsd"
+KEYWORDS="~alpha ~amd64 ~arm ~hppa ~ia64 ~mips ~ppc ~ppc64 ~s390 ~sh ~sparc ~x86 ~sparc-fbsd ~x86-fbsd"
IUSE="doc pch test watchdog"
RDEPEND=">=dev-libs/gmp-4.1.3[-nocxx]"
^ permalink raw reply [flat|nested] 10+ messages in thread
* [gentoo-commits] gentoo-x86 commit in dev-libs/ppl: ChangeLog ppl-0.10.2-r1.ebuild
@ 2010-05-22 7:45 PaweA Hajdan (phajdan.jr)
0 siblings, 0 replies; 10+ messages in thread
From: PaweA Hajdan (phajdan.jr) @ 2010-05-22 7:45 UTC (permalink / raw
To: gentoo-commits
phajdan.jr 10/05/22 07:45:08
Modified: ChangeLog ppl-0.10.2-r1.ebuild
Log:
x86 stable wrt bug #319885
(Portage version: 2.1.8.3/cvs/Linux i686)
Revision Changes Path
1.21 dev-libs/ppl/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.21&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.21&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?r1=1.20&r2=1.21
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v
retrieving revision 1.20
retrieving revision 1.21
diff -u -r1.20 -r1.21
--- ChangeLog 30 Apr 2010 05:17:28 -0000 1.20
+++ ChangeLog 22 May 2010 07:45:08 -0000 1.21
@@ -1,6 +1,9 @@
# ChangeLog for dev-libs/ppl
# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.20 2010/04/30 05:17:28 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.21 2010/05/22 07:45:08 phajdan.jr Exp $
+
+ 22 May 2010; Pawel Hajdan jr <phajdan.jr@gentoo.org> ppl-0.10.2-r1.ebuild:
+ x86 stable wrt bug #319885
30 Apr 2010; Alexis Ballier <aballier@gentoo.org> ppl-0.10.2-r1.ebuild:
keyword ~sparc-fbsd
1.3 dev-libs/ppl/ppl-0.10.2-r1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild?rev=1.3&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild?rev=1.3&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild?r1=1.2&r2=1.3
Index: ppl-0.10.2-r1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- ppl-0.10.2-r1.ebuild 30 Apr 2010 05:17:28 -0000 1.2
+++ ppl-0.10.2-r1.ebuild 22 May 2010 07:45:08 -0000 1.3
@@ -1,6 +1,6 @@
# Copyright 1999-2010 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild,v 1.2 2010/04/30 05:17:28 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild,v 1.3 2010/05/22 07:45:08 phajdan.jr Exp $
EAPI=2
@@ -12,7 +12,7 @@
LICENSE="GPL-3"
SLOT="0"
-KEYWORDS="~alpha ~amd64 ~arm ~hppa ~ia64 ~mips ~ppc ~ppc64 ~s390 ~sh ~sparc ~x86 ~sparc-fbsd ~x86-fbsd"
+KEYWORDS="~alpha ~amd64 ~arm ~hppa ~ia64 ~mips ~ppc ~ppc64 ~s390 ~sh ~sparc x86 ~sparc-fbsd ~x86-fbsd"
IUSE="doc pch test watchdog"
RDEPEND=">=dev-libs/gmp-4.1.3[-nocxx]"
^ permalink raw reply [flat|nested] 10+ messages in thread
* [gentoo-commits] gentoo-x86 commit in dev-libs/ppl: ChangeLog ppl-0.10.2-r1.ebuild
@ 2010-05-24 14:19 Gysbert Wassenaar (nixnut)
0 siblings, 0 replies; 10+ messages in thread
From: Gysbert Wassenaar (nixnut) @ 2010-05-24 14:19 UTC (permalink / raw
To: gentoo-commits
nixnut 10/05/24 14:19:21
Modified: ChangeLog ppl-0.10.2-r1.ebuild
Log:
ppc stable #319885
(Portage version: 2.1.8.3/cvs/Linux ppc)
Revision Changes Path
1.22 dev-libs/ppl/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.22&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.22&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?r1=1.21&r2=1.22
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v
retrieving revision 1.21
retrieving revision 1.22
diff -u -r1.21 -r1.22
--- ChangeLog 22 May 2010 07:45:08 -0000 1.21
+++ ChangeLog 24 May 2010 14:19:21 -0000 1.22
@@ -1,6 +1,9 @@
# ChangeLog for dev-libs/ppl
# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.21 2010/05/22 07:45:08 phajdan.jr Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.22 2010/05/24 14:19:21 nixnut Exp $
+
+ 24 May 2010; <nixnut@gentoo.org> ppl-0.10.2-r1.ebuild:
+ ppc stable #319885
22 May 2010; Pawel Hajdan jr <phajdan.jr@gentoo.org> ppl-0.10.2-r1.ebuild:
x86 stable wrt bug #319885
1.4 dev-libs/ppl/ppl-0.10.2-r1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild?rev=1.4&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild?rev=1.4&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild?r1=1.3&r2=1.4
Index: ppl-0.10.2-r1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -r1.3 -r1.4
--- ppl-0.10.2-r1.ebuild 22 May 2010 07:45:08 -0000 1.3
+++ ppl-0.10.2-r1.ebuild 24 May 2010 14:19:21 -0000 1.4
@@ -1,6 +1,6 @@
# Copyright 1999-2010 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild,v 1.3 2010/05/22 07:45:08 phajdan.jr Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild,v 1.4 2010/05/24 14:19:21 nixnut Exp $
EAPI=2
@@ -12,7 +12,7 @@
LICENSE="GPL-3"
SLOT="0"
-KEYWORDS="~alpha ~amd64 ~arm ~hppa ~ia64 ~mips ~ppc ~ppc64 ~s390 ~sh ~sparc x86 ~sparc-fbsd ~x86-fbsd"
+KEYWORDS="~alpha ~amd64 ~arm ~hppa ~ia64 ~mips ppc ~ppc64 ~s390 ~sh ~sparc x86 ~sparc-fbsd ~x86-fbsd"
IUSE="doc pch test watchdog"
RDEPEND=">=dev-libs/gmp-4.1.3[-nocxx]"
^ permalink raw reply [flat|nested] 10+ messages in thread
* [gentoo-commits] gentoo-x86 commit in dev-libs/ppl: ChangeLog ppl-0.10.2-r1.ebuild
@ 2010-05-25 20:18 Markos Chandras (hwoarang)
0 siblings, 0 replies; 10+ messages in thread
From: Markos Chandras (hwoarang) @ 2010-05-25 20:18 UTC (permalink / raw
To: gentoo-commits
hwoarang 10/05/25 20:18:21
Modified: ChangeLog ppl-0.10.2-r1.ebuild
Log:
Stable on amd64 wrt bug #319885
(Portage version: 2.2_rc67/cvs/Linux x86_64)
Revision Changes Path
1.23 dev-libs/ppl/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.23&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.23&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?r1=1.22&r2=1.23
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v
retrieving revision 1.22
retrieving revision 1.23
diff -u -r1.22 -r1.23
--- ChangeLog 24 May 2010 14:19:21 -0000 1.22
+++ ChangeLog 25 May 2010 20:18:21 -0000 1.23
@@ -1,6 +1,9 @@
# ChangeLog for dev-libs/ppl
# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.22 2010/05/24 14:19:21 nixnut Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.23 2010/05/25 20:18:21 hwoarang Exp $
+
+ 25 May 2010; Markos Chandras <hwoarang@gentoo.org> ppl-0.10.2-r1.ebuild:
+ Stable on amd64 wrt bug #319885
24 May 2010; <nixnut@gentoo.org> ppl-0.10.2-r1.ebuild:
ppc stable #319885
1.5 dev-libs/ppl/ppl-0.10.2-r1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild?rev=1.5&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild?rev=1.5&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild?r1=1.4&r2=1.5
Index: ppl-0.10.2-r1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -r1.4 -r1.5
--- ppl-0.10.2-r1.ebuild 24 May 2010 14:19:21 -0000 1.4
+++ ppl-0.10.2-r1.ebuild 25 May 2010 20:18:21 -0000 1.5
@@ -1,6 +1,6 @@
# Copyright 1999-2010 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild,v 1.4 2010/05/24 14:19:21 nixnut Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild,v 1.5 2010/05/25 20:18:21 hwoarang Exp $
EAPI=2
@@ -12,7 +12,7 @@
LICENSE="GPL-3"
SLOT="0"
-KEYWORDS="~alpha ~amd64 ~arm ~hppa ~ia64 ~mips ppc ~ppc64 ~s390 ~sh ~sparc x86 ~sparc-fbsd ~x86-fbsd"
+KEYWORDS="~alpha amd64 ~arm ~hppa ~ia64 ~mips ppc ~ppc64 ~s390 ~sh ~sparc x86 ~sparc-fbsd ~x86-fbsd"
IUSE="doc pch test watchdog"
RDEPEND=">=dev-libs/gmp-4.1.3[-nocxx]"
^ permalink raw reply [flat|nested] 10+ messages in thread
* [gentoo-commits] gentoo-x86 commit in dev-libs/ppl: ChangeLog ppl-0.10.2-r1.ebuild
@ 2010-05-27 4:33 Jeroen Roovers (jer)
0 siblings, 0 replies; 10+ messages in thread
From: Jeroen Roovers (jer) @ 2010-05-27 4:33 UTC (permalink / raw
To: gentoo-commits
jer 10/05/27 04:33:24
Modified: ChangeLog ppl-0.10.2-r1.ebuild
Log:
Stable for HPPA (bug #319885).
(Portage version: 2.2_rc67/cvs/Linux i686)
Revision Changes Path
1.24 dev-libs/ppl/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.24&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.24&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?r1=1.23&r2=1.24
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v
retrieving revision 1.23
retrieving revision 1.24
diff -u -r1.23 -r1.24
--- ChangeLog 25 May 2010 20:18:21 -0000 1.23
+++ ChangeLog 27 May 2010 04:33:24 -0000 1.24
@@ -1,6 +1,9 @@
# ChangeLog for dev-libs/ppl
# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.23 2010/05/25 20:18:21 hwoarang Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.24 2010/05/27 04:33:24 jer Exp $
+
+ 27 May 2010; Jeroen Roovers <jer@gentoo.org> ppl-0.10.2-r1.ebuild:
+ Stable for HPPA (bug #319885).
25 May 2010; Markos Chandras <hwoarang@gentoo.org> ppl-0.10.2-r1.ebuild:
Stable on amd64 wrt bug #319885
1.6 dev-libs/ppl/ppl-0.10.2-r1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild?rev=1.6&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild?rev=1.6&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild?r1=1.5&r2=1.6
Index: ppl-0.10.2-r1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild,v
retrieving revision 1.5
retrieving revision 1.6
diff -u -r1.5 -r1.6
--- ppl-0.10.2-r1.ebuild 25 May 2010 20:18:21 -0000 1.5
+++ ppl-0.10.2-r1.ebuild 27 May 2010 04:33:24 -0000 1.6
@@ -1,6 +1,6 @@
# Copyright 1999-2010 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild,v 1.5 2010/05/25 20:18:21 hwoarang Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild,v 1.6 2010/05/27 04:33:24 jer Exp $
EAPI=2
@@ -12,7 +12,7 @@
LICENSE="GPL-3"
SLOT="0"
-KEYWORDS="~alpha amd64 ~arm ~hppa ~ia64 ~mips ppc ~ppc64 ~s390 ~sh ~sparc x86 ~sparc-fbsd ~x86-fbsd"
+KEYWORDS="~alpha amd64 ~arm hppa ~ia64 ~mips ppc ~ppc64 ~s390 ~sh ~sparc x86 ~sparc-fbsd ~x86-fbsd"
IUSE="doc pch test watchdog"
RDEPEND=">=dev-libs/gmp-4.1.3[-nocxx]"
^ permalink raw reply [flat|nested] 10+ messages in thread
* [gentoo-commits] gentoo-x86 commit in dev-libs/ppl: ChangeLog ppl-0.10.2-r1.ebuild
@ 2010-05-29 5:52 Ryan Hill (dirtyepic)
0 siblings, 0 replies; 10+ messages in thread
From: Ryan Hill (dirtyepic) @ 2010-05-29 5:52 UTC (permalink / raw
To: gentoo-commits
dirtyepic 10/05/29 05:52:36
Modified: ChangeLog ppl-0.10.2-r1.ebuild
Log:
Fix configure failure with GMP 5.0. (bug #318845 by Mat)
(Portage version: 2.2_rc67/cvs/Linux x86_64)
Revision Changes Path
1.25 dev-libs/ppl/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.25&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.25&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?r1=1.24&r2=1.25
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v
retrieving revision 1.24
retrieving revision 1.25
diff -u -r1.24 -r1.25
--- ChangeLog 27 May 2010 04:33:24 -0000 1.24
+++ ChangeLog 29 May 2010 05:52:36 -0000 1.25
@@ -1,6 +1,10 @@
# ChangeLog for dev-libs/ppl
# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.24 2010/05/27 04:33:24 jer Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.25 2010/05/29 05:52:36 dirtyepic Exp $
+
+ 29 May 2010; Ryan Hill <dirtyepic@gentoo.org> ppl-0.10.2-r1.ebuild,
+ +files/ppl-0.10.2-gmp-5-fix.patch:
+ Fix configure failure with GMP 5.0. (bug #318845 by Mat)
27 May 2010; Jeroen Roovers <jer@gentoo.org> ppl-0.10.2-r1.ebuild:
Stable for HPPA (bug #319885).
1.7 dev-libs/ppl/ppl-0.10.2-r1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild?rev=1.7&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild?rev=1.7&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild?r1=1.6&r2=1.7
Index: ppl-0.10.2-r1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild,v
retrieving revision 1.6
retrieving revision 1.7
diff -u -r1.6 -r1.7
--- ppl-0.10.2-r1.ebuild 27 May 2010 04:33:24 -0000 1.6
+++ ppl-0.10.2-r1.ebuild 29 May 2010 05:52:36 -0000 1.7
@@ -1,10 +1,10 @@
# Copyright 1999-2010 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild,v 1.6 2010/05/27 04:33:24 jer Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild,v 1.7 2010/05/29 05:52:36 dirtyepic Exp $
EAPI=2
-inherit eutils
+inherit autotools eutils
DESCRIPTION="The Parma Polyhedra Library provides numerical abstractions for analysis of complex systems"
HOMEPAGE="http://www.cs.unipr.it/ppl/"
@@ -27,6 +27,11 @@
fi
}
+src_prepare() {
+ epatch "${FILESDIR}"/${P}-gmp-5-fix.patch
+ eautoreconf
+}
+
src_configure() {
# --disable-check doesn't work
use test && want_check="--enable-check=quick"
^ permalink raw reply [flat|nested] 10+ messages in thread
* [gentoo-commits] gentoo-x86 commit in dev-libs/ppl: ChangeLog ppl-0.10.2-r1.ebuild
@ 2010-06-03 21:07 Markus Meier (maekke)
0 siblings, 0 replies; 10+ messages in thread
From: Markus Meier (maekke) @ 2010-06-03 21:07 UTC (permalink / raw
To: gentoo-commits
maekke 10/06/03 21:07:26
Modified: ChangeLog ppl-0.10.2-r1.ebuild
Log:
arm stable, bug #319885
(Portage version: 2.2_rc67/cvs/Linux x86_64)
Revision Changes Path
1.26 dev-libs/ppl/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.26&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.26&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?r1=1.25&r2=1.26
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v
retrieving revision 1.25
retrieving revision 1.26
diff -u -r1.25 -r1.26
--- ChangeLog 29 May 2010 05:52:36 -0000 1.25
+++ ChangeLog 3 Jun 2010 21:07:26 -0000 1.26
@@ -1,6 +1,9 @@
# ChangeLog for dev-libs/ppl
# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.25 2010/05/29 05:52:36 dirtyepic Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.26 2010/06/03 21:07:26 maekke Exp $
+
+ 03 Jun 2010; Markus Meier <maekke@gentoo.org> ppl-0.10.2-r1.ebuild:
+ arm stable, bug #319885
29 May 2010; Ryan Hill <dirtyepic@gentoo.org> ppl-0.10.2-r1.ebuild,
+files/ppl-0.10.2-gmp-5-fix.patch:
1.8 dev-libs/ppl/ppl-0.10.2-r1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild?rev=1.8&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild?rev=1.8&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild?r1=1.7&r2=1.8
Index: ppl-0.10.2-r1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild,v
retrieving revision 1.7
retrieving revision 1.8
diff -u -r1.7 -r1.8
--- ppl-0.10.2-r1.ebuild 29 May 2010 05:52:36 -0000 1.7
+++ ppl-0.10.2-r1.ebuild 3 Jun 2010 21:07:26 -0000 1.8
@@ -1,6 +1,6 @@
# Copyright 1999-2010 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild,v 1.7 2010/05/29 05:52:36 dirtyepic Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild,v 1.8 2010/06/03 21:07:26 maekke Exp $
EAPI=2
@@ -12,7 +12,7 @@
LICENSE="GPL-3"
SLOT="0"
-KEYWORDS="~alpha amd64 ~arm hppa ~ia64 ~mips ppc ~ppc64 ~s390 ~sh ~sparc x86 ~sparc-fbsd ~x86-fbsd"
+KEYWORDS="~alpha amd64 arm hppa ~ia64 ~mips ppc ~ppc64 ~s390 ~sh ~sparc x86 ~sparc-fbsd ~x86-fbsd"
IUSE="doc pch test watchdog"
RDEPEND=">=dev-libs/gmp-4.1.3[-nocxx]"
^ permalink raw reply [flat|nested] 10+ messages in thread
* [gentoo-commits] gentoo-x86 commit in dev-libs/ppl: ChangeLog ppl-0.10.2-r1.ebuild
@ 2010-06-06 13:56 Raul Porcel (armin76)
0 siblings, 0 replies; 10+ messages in thread
From: Raul Porcel (armin76) @ 2010-06-06 13:56 UTC (permalink / raw
To: gentoo-commits
armin76 10/06/06 13:56:42
Modified: ChangeLog ppl-0.10.2-r1.ebuild
Log:
alpha/ia64/s390/sh/sparc stable wrt #319885
(Portage version: 2.1.8.3/cvs/Linux ia64)
Revision Changes Path
1.27 dev-libs/ppl/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.27&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.27&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?r1=1.26&r2=1.27
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v
retrieving revision 1.26
retrieving revision 1.27
diff -u -r1.26 -r1.27
--- ChangeLog 3 Jun 2010 21:07:26 -0000 1.26
+++ ChangeLog 6 Jun 2010 13:56:42 -0000 1.27
@@ -1,6 +1,9 @@
# ChangeLog for dev-libs/ppl
# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.26 2010/06/03 21:07:26 maekke Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.27 2010/06/06 13:56:42 armin76 Exp $
+
+ 06 Jun 2010; Raúl Porcel <armin76@gentoo.org> ppl-0.10.2-r1.ebuild:
+ alpha/ia64/s390/sh/sparc stable wrt #319885
03 Jun 2010; Markus Meier <maekke@gentoo.org> ppl-0.10.2-r1.ebuild:
arm stable, bug #319885
1.9 dev-libs/ppl/ppl-0.10.2-r1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild?rev=1.9&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild?rev=1.9&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild?r1=1.8&r2=1.9
Index: ppl-0.10.2-r1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild,v
retrieving revision 1.8
retrieving revision 1.9
diff -u -r1.8 -r1.9
--- ppl-0.10.2-r1.ebuild 3 Jun 2010 21:07:26 -0000 1.8
+++ ppl-0.10.2-r1.ebuild 6 Jun 2010 13:56:42 -0000 1.9
@@ -1,6 +1,6 @@
# Copyright 1999-2010 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild,v 1.8 2010/06/03 21:07:26 maekke Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild,v 1.9 2010/06/06 13:56:42 armin76 Exp $
EAPI=2
@@ -12,7 +12,7 @@
LICENSE="GPL-3"
SLOT="0"
-KEYWORDS="~alpha amd64 arm hppa ~ia64 ~mips ppc ~ppc64 ~s390 ~sh ~sparc x86 ~sparc-fbsd ~x86-fbsd"
+KEYWORDS="alpha amd64 arm hppa ia64 ~mips ppc ~ppc64 s390 sh sparc x86 ~sparc-fbsd ~x86-fbsd"
IUSE="doc pch test watchdog"
RDEPEND=">=dev-libs/gmp-4.1.3[-nocxx]"
^ permalink raw reply [flat|nested] 10+ messages in thread
* [gentoo-commits] gentoo-x86 commit in dev-libs/ppl: ChangeLog ppl-0.10.2-r1.ebuild
@ 2010-07-10 13:18 Samuli Suominen (ssuominen)
0 siblings, 0 replies; 10+ messages in thread
From: Samuli Suominen (ssuominen) @ 2010-07-10 13:18 UTC (permalink / raw
To: gentoo-commits
ssuominen 10/07/10 13:18:40
Modified: ChangeLog ppl-0.10.2-r1.ebuild
Log:
ppc64 stable wrt #319885
(Portage version: 2.2_rc67/cvs/Linux x86_64)
Revision Changes Path
1.28 dev-libs/ppl/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.28&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.28&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?r1=1.27&r2=1.28
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v
retrieving revision 1.27
retrieving revision 1.28
diff -u -r1.27 -r1.28
--- ChangeLog 6 Jun 2010 13:56:42 -0000 1.27
+++ ChangeLog 10 Jul 2010 13:18:40 -0000 1.28
@@ -1,6 +1,9 @@
# ChangeLog for dev-libs/ppl
# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.27 2010/06/06 13:56:42 armin76 Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.28 2010/07/10 13:18:40 ssuominen Exp $
+
+ 10 Jul 2010; Samuli Suominen <ssuominen@gentoo.org> ppl-0.10.2-r1.ebuild:
+ ppc64 stable wrt #319885
06 Jun 2010; Raúl Porcel <armin76@gentoo.org> ppl-0.10.2-r1.ebuild:
alpha/ia64/s390/sh/sparc stable wrt #319885
1.10 dev-libs/ppl/ppl-0.10.2-r1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild?rev=1.10&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild?rev=1.10&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild?r1=1.9&r2=1.10
Index: ppl-0.10.2-r1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild,v
retrieving revision 1.9
retrieving revision 1.10
diff -u -r1.9 -r1.10
--- ppl-0.10.2-r1.ebuild 6 Jun 2010 13:56:42 -0000 1.9
+++ ppl-0.10.2-r1.ebuild 10 Jul 2010 13:18:40 -0000 1.10
@@ -1,6 +1,6 @@
# Copyright 1999-2010 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild,v 1.9 2010/06/06 13:56:42 armin76 Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10.2-r1.ebuild,v 1.10 2010/07/10 13:18:40 ssuominen Exp $
EAPI=2
@@ -12,7 +12,7 @@
LICENSE="GPL-3"
SLOT="0"
-KEYWORDS="alpha amd64 arm hppa ia64 ~mips ppc ~ppc64 s390 sh sparc x86 ~sparc-fbsd ~x86-fbsd"
+KEYWORDS="alpha amd64 arm hppa ia64 ~mips ppc ppc64 s390 sh sparc x86 ~sparc-fbsd ~x86-fbsd"
IUSE="doc pch test watchdog"
RDEPEND=">=dev-libs/gmp-4.1.3[-nocxx]"
^ permalink raw reply [flat|nested] 10+ messages in thread
end of thread, other threads:[~2010-07-10 13:18 UTC | newest]
Thread overview: 10+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2010-05-29 5:52 [gentoo-commits] gentoo-x86 commit in dev-libs/ppl: ChangeLog ppl-0.10.2-r1.ebuild Ryan Hill (dirtyepic)
-- strict thread matches above, loose matches on Subject: below --
2010-07-10 13:18 Samuli Suominen (ssuominen)
2010-06-06 13:56 Raul Porcel (armin76)
2010-06-03 21:07 Markus Meier (maekke)
2010-05-27 4:33 Jeroen Roovers (jer)
2010-05-25 20:18 Markos Chandras (hwoarang)
2010-05-24 14:19 Gysbert Wassenaar (nixnut)
2010-05-22 7:45 PaweA Hajdan (phajdan.jr)
2010-04-30 5:17 Alexis Ballier (aballier)
2010-02-27 5:31 Ryan Hill (dirtyepic)
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox