* [gentoo-commits] gentoo-x86 commit in dev-libs/ppl: ppl-1.1.ebuild ChangeLog
@ 2014-11-04 4:14 Mike Frysinger (vapier)
0 siblings, 0 replies; 4+ messages in thread
From: Mike Frysinger (vapier) @ 2014-11-04 4:14 UTC (permalink / raw
To: gentoo-commits
vapier 14/11/04 04:14:13
Modified: ChangeLog
Added: ppl-1.1.ebuild
Log:
Version bump #446698 by Jeremy Murphy.
(Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key D2E96200)
Revision Changes Path
1.69 dev-libs/ppl/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.69&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.69&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?r1=1.68&r2=1.69
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v
retrieving revision 1.68
retrieving revision 1.69
diff -u -r1.68 -r1.69
--- ChangeLog 4 Nov 2014 03:24:24 -0000 1.68
+++ ChangeLog 4 Nov 2014 04:14:13 -0000 1.69
@@ -1,6 +1,11 @@
# ChangeLog for dev-libs/ppl
# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.68 2014/11/04 03:24:24 vapier Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.69 2014/11/04 04:14:13 vapier Exp $
+
+*ppl-1.1 (04 Nov 2014)
+
+ 04 Nov 2014; Mike Frysinger <vapier@gentoo.org> +ppl-1.1.ebuild:
+ Version bump #446698 by Jeremy Murphy.
04 Nov 2014; Mike Frysinger <vapier@gentoo.org> ppl-0.12.1-r1.ebuild:
Add arm64 love.
1.1 dev-libs/ppl/ppl-1.1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-1.1.ebuild?rev=1.1&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-1.1.ebuild?rev=1.1&content-type=text/plain
Index: ppl-1.1.ebuild
===================================================================
# Copyright 1999-2014 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-1.1.ebuild,v 1.1 2014/11/04 04:14:13 vapier Exp $
EAPI="5"
DESCRIPTION="The Parma Polyhedra Library provides numerical abstractions for analysis of complex systems"
HOMEPAGE="http://bugseng.com/products/ppl"
SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz"
LICENSE="GPL-3"
SLOT="0/4.13" # SONAMEs
KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~mips ~ppc ~ppc64 ~s390 ~sh ~sparc ~x86 ~amd64-fbsd ~sparc-fbsd ~x86-fbsd ~amd64-linux ~sparc-solaris"
IUSE="+cxx doc lpsol pch static-libs test"
RDEPEND=">=dev-libs/gmp-4.1.3[cxx]
lpsol? ( <=sci-mathematics/glpk-4.48 )
!<dev-libs/cloog-ppl-0.15.10"
DEPEND="${RDEPEND}
app-arch/xz-utils
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."
fi
}
src_configure() {
local interfaces=( c )
use cxx && interfaces+=( cxx )
econf \
--docdir="${EPREFIX}"/usr/share/doc/${PF} \
--disable-debugging \
--disable-optimization \
$(use_enable doc documentation) \
$(use_enable lpsol ppl_lpsol) \
$(use_enable pch) \
$(use_enable static-libs static) \
--enable-interfaces="${interfaces[*]}" \
$(use test && echo --enable-check=quick)
}
src_test() {
# default src_test runs with -j1, overriding it here saves about
# 30 minutes and is recommended by upstream
emake check
}
src_install() {
default
use static-libs || find "${ED}"/usr -name 'libppl*.la' -delete
pushd "${ED}/usr/share/doc/${PF}" >/dev/null || die
rm gpl* fdl* || die
if ! use doc; then
rm -r *-html/ *.ps.gz *.pdf || die
fi
}
^ permalink raw reply [flat|nested] 4+ messages in thread
* [gentoo-commits] gentoo-x86 commit in dev-libs/ppl: ppl-1.1.ebuild ChangeLog
@ 2014-11-04 17:41 Mike Frysinger (vapier)
0 siblings, 0 replies; 4+ messages in thread
From: Mike Frysinger (vapier) @ 2014-11-04 17:41 UTC (permalink / raw
To: gentoo-commits
vapier 14/11/04 17:41:16
Modified: ppl-1.1.ebuild ChangeLog
Log:
Drop old glpk requirement #473334 by Jeremy Murphy.
(Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key D2E96200)
Revision Changes Path
1.2 dev-libs/ppl/ppl-1.1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-1.1.ebuild?rev=1.2&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-1.1.ebuild?rev=1.2&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-1.1.ebuild?r1=1.1&r2=1.2
Index: ppl-1.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-1.1.ebuild,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- ppl-1.1.ebuild 4 Nov 2014 04:14:13 -0000 1.1
+++ ppl-1.1.ebuild 4 Nov 2014 17:41:16 -0000 1.2
@@ -1,6 +1,6 @@
# Copyright 1999-2014 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-1.1.ebuild,v 1.1 2014/11/04 04:14:13 vapier Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-1.1.ebuild,v 1.2 2014/11/04 17:41:16 vapier Exp $
EAPI="5"
@@ -14,7 +14,7 @@
IUSE="+cxx doc lpsol pch static-libs test"
RDEPEND=">=dev-libs/gmp-4.1.3[cxx]
- lpsol? ( <=sci-mathematics/glpk-4.48 )
+ lpsol? ( sci-mathematics/glpk )
!<dev-libs/cloog-ppl-0.15.10"
DEPEND="${RDEPEND}
app-arch/xz-utils
1.70 dev-libs/ppl/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.70&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.70&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?r1=1.69&r2=1.70
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v
retrieving revision 1.69
retrieving revision 1.70
diff -u -r1.69 -r1.70
--- ChangeLog 4 Nov 2014 04:14:13 -0000 1.69
+++ ChangeLog 4 Nov 2014 17:41:16 -0000 1.70
@@ -1,6 +1,9 @@
# ChangeLog for dev-libs/ppl
# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.69 2014/11/04 04:14:13 vapier Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.70 2014/11/04 17:41:16 vapier Exp $
+
+ 04 Nov 2014; Mike Frysinger <vapier@gentoo.org> ppl-1.1.ebuild:
+ Drop old glpk requirement #473334 by Jeremy Murphy.
*ppl-1.1 (04 Nov 2014)
^ permalink raw reply [flat|nested] 4+ messages in thread
* [gentoo-commits] gentoo-x86 commit in dev-libs/ppl: ppl-1.1.ebuild ChangeLog
@ 2015-03-17 4:52 Mike Frysinger (vapier)
0 siblings, 0 replies; 4+ messages in thread
From: Mike Frysinger (vapier) @ 2015-03-17 4:52 UTC (permalink / raw
To: gentoo-commits
vapier 15/03/17 04:52:25
Modified: ppl-1.1.ebuild ChangeLog
Log:
Force a newer gmp version to avoid build issues with newer gcc versions #543184 by Thomas Kahle.
(Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit with key D2E96200)
Revision Changes Path
1.3 dev-libs/ppl/ppl-1.1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-1.1.ebuild?rev=1.3&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-1.1.ebuild?rev=1.3&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-1.1.ebuild?r1=1.2&r2=1.3
Index: ppl-1.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-1.1.ebuild,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- ppl-1.1.ebuild 4 Nov 2014 17:41:16 -0000 1.2
+++ ppl-1.1.ebuild 17 Mar 2015 04:52:25 -0000 1.3
@@ -1,6 +1,6 @@
-# Copyright 1999-2014 Gentoo Foundation
+# Copyright 1999-2015 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-1.1.ebuild,v 1.2 2014/11/04 17:41:16 vapier Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-1.1.ebuild,v 1.3 2015/03/17 04:52:25 vapier Exp $
EAPI="5"
@@ -13,7 +13,7 @@
KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~mips ~ppc ~ppc64 ~s390 ~sh ~sparc ~x86 ~amd64-fbsd ~sparc-fbsd ~x86-fbsd ~amd64-linux ~sparc-solaris"
IUSE="+cxx doc lpsol pch static-libs test"
-RDEPEND=">=dev-libs/gmp-4.1.3[cxx]
+RDEPEND=">=dev-libs/gmp-6[cxx]
lpsol? ( sci-mathematics/glpk )
!<dev-libs/cloog-ppl-0.15.10"
DEPEND="${RDEPEND}
1.71 dev-libs/ppl/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.71&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.71&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?r1=1.70&r2=1.71
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v
retrieving revision 1.70
retrieving revision 1.71
diff -u -r1.70 -r1.71
--- ChangeLog 4 Nov 2014 17:41:16 -0000 1.70
+++ ChangeLog 17 Mar 2015 04:52:25 -0000 1.71
@@ -1,6 +1,10 @@
# ChangeLog for dev-libs/ppl
-# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.70 2014/11/04 17:41:16 vapier Exp $
+# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.71 2015/03/17 04:52:25 vapier Exp $
+
+ 17 Mar 2015; Mike Frysinger <vapier@gentoo.org> ppl-1.1.ebuild:
+ Force a newer gmp version to avoid build issues with newer gcc versions
+ #543184 by Thomas Kahle.
04 Nov 2014; Mike Frysinger <vapier@gentoo.org> ppl-1.1.ebuild:
Drop old glpk requirement #473334 by Jeremy Murphy.
^ permalink raw reply [flat|nested] 4+ messages in thread
* [gentoo-commits] gentoo-x86 commit in dev-libs/ppl: ppl-1.1.ebuild ChangeLog
@ 2015-03-17 5:27 Mike Frysinger (vapier)
0 siblings, 0 replies; 4+ messages in thread
From: Mike Frysinger (vapier) @ 2015-03-17 5:27 UTC (permalink / raw
To: gentoo-commits
vapier 15/03/17 05:27:11
Modified: ppl-1.1.ebuild ChangeLog
Log:
Block cloog-ppl as we are punting it #448024.
(Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit with key D2E96200)
Revision Changes Path
1.4 dev-libs/ppl/ppl-1.1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-1.1.ebuild?rev=1.4&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-1.1.ebuild?rev=1.4&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ppl-1.1.ebuild?r1=1.3&r2=1.4
Index: ppl-1.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-1.1.ebuild,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -r1.3 -r1.4
--- ppl-1.1.ebuild 17 Mar 2015 04:52:25 -0000 1.3
+++ ppl-1.1.ebuild 17 Mar 2015 05:27:11 -0000 1.4
@@ -1,6 +1,6 @@
# Copyright 1999-2015 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-1.1.ebuild,v 1.3 2015/03/17 04:52:25 vapier Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-1.1.ebuild,v 1.4 2015/03/17 05:27:11 vapier Exp $
EAPI="5"
@@ -15,7 +15,7 @@
RDEPEND=">=dev-libs/gmp-6[cxx]
lpsol? ( sci-mathematics/glpk )
- !<dev-libs/cloog-ppl-0.15.10"
+ !dev-libs/cloog-ppl"
DEPEND="${RDEPEND}
app-arch/xz-utils
sys-devel/m4"
1.72 dev-libs/ppl/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.72&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?rev=1.72&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-libs/ppl/ChangeLog?r1=1.71&r2=1.72
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v
retrieving revision 1.71
retrieving revision 1.72
diff -u -r1.71 -r1.72
--- ChangeLog 17 Mar 2015 04:52:25 -0000 1.71
+++ ChangeLog 17 Mar 2015 05:27:11 -0000 1.72
@@ -1,6 +1,9 @@
# ChangeLog for dev-libs/ppl
# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.71 2015/03/17 04:52:25 vapier Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.72 2015/03/17 05:27:11 vapier Exp $
+
+ 17 Mar 2015; Mike Frysinger <vapier@gentoo.org> ppl-1.1.ebuild:
+ Block cloog-ppl as we are punting it #448024.
17 Mar 2015; Mike Frysinger <vapier@gentoo.org> ppl-1.1.ebuild:
Force a newer gmp version to avoid build issues with newer gcc versions
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2015-03-17 5:27 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2014-11-04 17:41 [gentoo-commits] gentoo-x86 commit in dev-libs/ppl: ppl-1.1.ebuild ChangeLog Mike Frysinger (vapier)
-- strict thread matches above, loose matches on Subject: below --
2015-03-17 5:27 Mike Frysinger (vapier)
2015-03-17 4:52 Mike Frysinger (vapier)
2014-11-04 4:14 Mike Frysinger (vapier)
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox