subject:"\[gentoo\-commits\] repo\/gentoo\:master commit in\: dev\-libs\/ppl\/"

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2023-12-15 Thread Michael Orlitzky

commit: eb705482d46f47de844dc0b2555360f7d8d8b317
Author: Michael Orlitzky  gentoo  org>
AuthorDate: Fri Dec 15 23:16:10 2023 +
Commit: Michael Orlitzky  gentoo  org>
CommitDate: Fri Dec 15 23:17:49 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=eb705482

dev-libs/ppl: use $P in SRC_URI to fix a pkgcheck warning

Signed-off-by: Michael Orlitzky  gentoo.org>

 dev-libs/ppl/ppl-1.2-r5.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.2-r5.ebuild b/dev-libs/ppl/ppl-1.2-r5.ebuild
index 9041aaa76853..70d986e738f2 100644
--- a/dev-libs/ppl/ppl-1.2-r5.ebuild
+++ b/dev-libs/ppl/ppl-1.2-r5.ebuild
@@ -8,7 +8,7 @@ inherit autotools flag-o-matic
 DESCRIPTION="The Parma Polyhedra Library for numerical analysis of complex 
systems"
 HOMEPAGE="http://bugseng.com/products/ppl;
 
SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz
-   
https://dev.gentoo.org/~juippis/distfiles/tmp/ppl-1.2-r3-disable-boeing-tests.patch;
+   
https://dev.gentoo.org/~juippis/distfiles/tmp/${P}-r3-disable-boeing-tests.patch;
 
 LICENSE="GPL-3"
 SLOT="0/4.14" # SONAMEs

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2023-12-15 Thread Michael Orlitzky

commit: c8040a882efbda6b9bda2e4b2bbce6cc2b98bce8
Author: Michael Orlitzky  gentoo  org>
AuthorDate: Fri Dec 15 21:03:26 2023 +
Commit: Michael Orlitzky  gentoo  org>
CommitDate: Fri Dec 15 23:17:35 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c8040a88

dev-libs/ppl: build with -std=c++14

PPL isn't ready for c++17-by-default yet.

Closes: https://bugs.gentoo.org/919850
Signed-off-by: Michael Orlitzky  gentoo.org>

 dev-libs/ppl/ppl-1.2-r5.ebuild | 8 ++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/dev-libs/ppl/ppl-1.2-r5.ebuild b/dev-libs/ppl/ppl-1.2-r5.ebuild
index 2f04e7fb2e50..9041aaa76853 100644
--- a/dev-libs/ppl/ppl-1.2-r5.ebuild
+++ b/dev-libs/ppl/ppl-1.2-r5.ebuild
@@ -1,9 +1,9 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
 
-inherit autotools
+inherit autotools flag-o-matic
 
 DESCRIPTION="The Parma Polyhedra Library for numerical analysis of complex 
systems"
 HOMEPAGE="http://bugseng.com/products/ppl;
@@ -41,6 +41,10 @@ src_prepare() {
 }
 
 src_configure() {
+   # mem_fun_ref and friends were removed in c++17, and some toolchains
+   # are beginning to default to that (bug 919850).
+   append-cxxflags -std=c++14
+
local interfaces=( c )
use cxx && interfaces+=( cxx )
econf \

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2022-10-25 Thread Michael Orlitzky

commit: 97a6f1c945aef15774aba257fd9088bf5c5013ad
Author: Michael Orlitzky  gentoo  org>
AuthorDate: Tue Oct 25 13:42:00 2022 +
Commit: Michael Orlitzky  gentoo  org>
CommitDate: Tue Oct 25 13:42:00 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=97a6f1c9

dev-libs/ppl: drop 1.2-r4

Signed-off-by: Michael Orlitzky  gentoo.org>

 dev-libs/ppl/ppl-1.2-r4.ebuild | 69 --
 1 file changed, 69 deletions(-)

diff --git a/dev-libs/ppl/ppl-1.2-r4.ebuild b/dev-libs/ppl/ppl-1.2-r4.ebuild
deleted file mode 100644
index 6ce0fa97ee98..
--- a/dev-libs/ppl/ppl-1.2-r4.ebuild
+++ /dev/null
@@ -1,69 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-inherit autotools
-
-DESCRIPTION="The Parma Polyhedra Library for numerical analysis of complex 
systems"
-HOMEPAGE="http://bugseng.com/products/ppl;
-SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz
-   
https://dev.gentoo.org/~juippis/distfiles/tmp/ppl-1.2-r3-disable-boeing-tests.patch;
-
-LICENSE="GPL-3"
-SLOT="0/4.14" # SONAMEs
-KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ppc64 ~riscv 
~s390 sparc x86 ~amd64-linux ~sparc-solaris"
-IUSE="cdd +cxx doc lpsol pch static-libs test"
-
-RDEPEND=">=dev-libs/gmp-6[cxx(+)]
-   lpsol? ( sci-mathematics/glpk )"
-DEPEND="${RDEPEND}
-   app-arch/xz-utils
-   sys-devel/m4"
-
-RESTRICT="!test? ( test )"
-
-PATCHES=(
-   "${FILESDIR}/disable-mipproblem2.patch"
-   "${FILESDIR}/disable-containsintegerpoint1.patch"
-   "${DISTDIR}/ppl-1.2-r3-disable-boeing-tests.patch"
-   "${FILESDIR}/fix-clang-build.patch"
-)
-
-src_prepare() {
-   default
-
-   # The patch should do this, but then the diff makes it run
-   # afoul of the Gentoo patch size limit.
-   rm demos/ppl_lpsol/examples/boeing[12].mps || die
-
-   eautoreconf
-}
-
-src_configure() {
-   local interfaces=( c )
-   use cxx && interfaces+=( cxx )
-   econf \
-   --disable-debugging \
-   --disable-optimization \
-   $(use_enable doc documentation) \
-   $(use_enable cdd ppl_lcdd) \
-   $(use_enable lpsol ppl_lpsol) \
-   $(use_enable pch) \
-   $(use_enable static-libs static) \
-   --enable-interfaces="${interfaces[*]}" \
-   $(use test && echo --enable-check=quick)
-}
-
-src_install() {
-   default
-   if ! use static-libs; then
-   find "${ED}"/usr -name 'libppl*.la' -delete || die
-   fi
-
-   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
-}

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2022-10-25 Thread Sam James

commit: d0c9ffc5e51788e7ad7f031ea981228f41025ca6
Author: Sam James  gentoo  org>
AuthorDate: Tue Oct 25 12:48:22 2022 +
Commit: Sam James  gentoo  org>
CommitDate: Tue Oct 25 12:48:22 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d0c9ffc5

dev-libs/ppl: Stabilize 1.2-r5 x86, #89

Signed-off-by: Sam James  gentoo.org>

 dev-libs/ppl/ppl-1.2-r5.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.2-r5.ebuild b/dev-libs/ppl/ppl-1.2-r5.ebuild
index 793dfb79d209..a83811ddf09b 100644
--- a/dev-libs/ppl/ppl-1.2-r5.ebuild
+++ b/dev-libs/ppl/ppl-1.2-r5.ebuild
@@ -12,7 +12,7 @@ 
SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz
 
 LICENSE="GPL-3"
 SLOT="0/4.14" # SONAMEs
-KEYWORDS="~alpha ~amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ppc64 ~riscv 
~s390 sparc ~x86 ~amd64-linux ~sparc-solaris"
+KEYWORDS="~alpha ~amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ppc64 ~riscv 
~s390 sparc x86 ~amd64-linux ~sparc-solaris"
 IUSE="cdd +cxx doc lpsol pch test"
 
 RDEPEND=">=dev-libs/gmp-6[cxx(+)]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2022-10-25 Thread Sam James

commit: 8531bafaf0cacc2d1dc07175d777f3f627ab0403
Author: Sam James  gentoo  org>
AuthorDate: Tue Oct 25 12:48:24 2022 +
Commit: Sam James  gentoo  org>
CommitDate: Tue Oct 25 12:48:24 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8531bafa

dev-libs/ppl: Stabilize 1.2-r5 amd64, #89

Signed-off-by: Sam James  gentoo.org>

 dev-libs/ppl/ppl-1.2-r5.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.2-r5.ebuild b/dev-libs/ppl/ppl-1.2-r5.ebuild
index a83811ddf09b..14ac46456209 100644
--- a/dev-libs/ppl/ppl-1.2-r5.ebuild
+++ b/dev-libs/ppl/ppl-1.2-r5.ebuild
@@ -12,7 +12,7 @@ 
SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz
 
 LICENSE="GPL-3"
 SLOT="0/4.14" # SONAMEs
-KEYWORDS="~alpha ~amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ppc64 ~riscv 
~s390 sparc x86 ~amd64-linux ~sparc-solaris"
+KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ppc64 ~riscv 
~s390 sparc x86 ~amd64-linux ~sparc-solaris"
 IUSE="cdd +cxx doc lpsol pch test"
 
 RDEPEND=">=dev-libs/gmp-6[cxx(+)]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2022-10-20 Thread Sam James

commit: ac7ca68eb42a2220e0197b1a8d018ffea177c3be
Author: Sam James  gentoo  org>
AuthorDate: Thu Oct 20 23:38:32 2022 +
Commit: Sam James  gentoo  org>
CommitDate: Thu Oct 20 23:38:32 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ac7ca68e

dev-libs/ppl: Stabilize 1.2-r5 ppc64, #89

Signed-off-by: Sam James  gentoo.org>

 dev-libs/ppl/ppl-1.2-r5.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.2-r5.ebuild b/dev-libs/ppl/ppl-1.2-r5.ebuild
index b0cf3e88dcb0..793dfb79d209 100644
--- a/dev-libs/ppl/ppl-1.2-r5.ebuild
+++ b/dev-libs/ppl/ppl-1.2-r5.ebuild
@@ -12,7 +12,7 @@ 
SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz
 
 LICENSE="GPL-3"
 SLOT="0/4.14" # SONAMEs
-KEYWORDS="~alpha ~amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 sparc ~x86 ~amd64-linux ~sparc-solaris"
+KEYWORDS="~alpha ~amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ppc64 ~riscv 
~s390 sparc ~x86 ~amd64-linux ~sparc-solaris"
 IUSE="cdd +cxx doc lpsol pch test"
 
 RDEPEND=">=dev-libs/gmp-6[cxx(+)]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2022-10-20 Thread Sam James

commit: cef128896f7eee2d6a01a7ff53e67d9b4e5a1e2f
Author: Sam James  gentoo  org>
AuthorDate: Thu Oct 20 21:15:36 2022 +
Commit: Sam James  gentoo  org>
CommitDate: Thu Oct 20 21:15:36 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cef12889

dev-libs/ppl: Stabilize 1.2-r5 arm, #89

Signed-off-by: Sam James  gentoo.org>

 dev-libs/ppl/ppl-1.2-r5.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.2-r5.ebuild b/dev-libs/ppl/ppl-1.2-r5.ebuild
index bdacbeef0ef2..b0cf3e88dcb0 100644
--- a/dev-libs/ppl/ppl-1.2-r5.ebuild
+++ b/dev-libs/ppl/ppl-1.2-r5.ebuild
@@ -12,7 +12,7 @@ 
SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz
 
 LICENSE="GPL-3"
 SLOT="0/4.14" # SONAMEs
-KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 sparc ~x86 ~amd64-linux ~sparc-solaris"
+KEYWORDS="~alpha ~amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 sparc ~x86 ~amd64-linux ~sparc-solaris"
 IUSE="cdd +cxx doc lpsol pch test"
 
 RDEPEND=">=dev-libs/gmp-6[cxx(+)]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2022-10-20 Thread Sam James

commit: 5faa72e311e82160da074518af3874b4253cc4a7
Author: Sam James  gentoo  org>
AuthorDate: Thu Oct 20 21:07:06 2022 +
Commit: Sam James  gentoo  org>
CommitDate: Thu Oct 20 21:07:06 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5faa72e3

dev-libs/ppl: Stabilize 1.2-r5 sparc, #89

Signed-off-by: Sam James  gentoo.org>

 dev-libs/ppl/ppl-1.2-r5.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.2-r5.ebuild b/dev-libs/ppl/ppl-1.2-r5.ebuild
index bb3fe88def7b..bdacbeef0ef2 100644
--- a/dev-libs/ppl/ppl-1.2-r5.ebuild
+++ b/dev-libs/ppl/ppl-1.2-r5.ebuild
@@ -12,7 +12,7 @@ 
SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz
 
 LICENSE="GPL-3"
 SLOT="0/4.14" # SONAMEs
-KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sparc ~x86 ~amd64-linux ~sparc-solaris"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 sparc ~x86 ~amd64-linux ~sparc-solaris"
 IUSE="cdd +cxx doc lpsol pch test"
 
 RDEPEND=">=dev-libs/gmp-6[cxx(+)]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2022-08-31 Thread Michael Orlitzky

commit: cfe76aed48c19ba12144170f3bb63d4322b87def
Author: Michael Orlitzky  gentoo  org>
AuthorDate: Thu Sep  1 02:10:40 2022 +
Commit: Michael Orlitzky  gentoo  org>
CommitDate: Thu Sep  1 02:13:01 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cfe76aed

dev-libs/ppl: update EAPI 7 -> 8, remove redundant docs

Closes: https://bugs.gentoo.org/867376
Signed-off-by: Michael Orlitzky  gentoo.org>

 dev-libs/ppl/ppl-1.2-r5.ebuild | 68 ++
 1 file changed, 68 insertions(+)

diff --git a/dev-libs/ppl/ppl-1.2-r5.ebuild b/dev-libs/ppl/ppl-1.2-r5.ebuild
new file mode 100644
index ..bb3fe88def7b
--- /dev/null
+++ b/dev-libs/ppl/ppl-1.2-r5.ebuild
@@ -0,0 +1,68 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit autotools
+
+DESCRIPTION="The Parma Polyhedra Library for numerical analysis of complex 
systems"
+HOMEPAGE="http://bugseng.com/products/ppl;
+SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz
+   
https://dev.gentoo.org/~juippis/distfiles/tmp/ppl-1.2-r3-disable-boeing-tests.patch;
+
+LICENSE="GPL-3"
+SLOT="0/4.14" # SONAMEs
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sparc ~x86 ~amd64-linux ~sparc-solaris"
+IUSE="cdd +cxx doc lpsol pch test"
+
+RDEPEND=">=dev-libs/gmp-6[cxx(+)]
+   lpsol? ( sci-mathematics/glpk )"
+DEPEND="${RDEPEND}
+   app-arch/xz-utils
+   sys-devel/m4"
+
+RESTRICT="!test? ( test )"
+
+PATCHES=(
+   "${FILESDIR}/disable-mipproblem2.patch"
+   "${FILESDIR}/disable-containsintegerpoint1.patch"
+   "${DISTDIR}/ppl-1.2-r3-disable-boeing-tests.patch"
+   "${FILESDIR}/fix-clang-build.patch"
+)
+
+src_prepare() {
+   default
+
+   # The patch should do this, but then the diff makes it run
+   # afoul of the Gentoo patch size limit.
+   rm demos/ppl_lpsol/examples/boeing[12].mps || die
+
+   eautoreconf
+}
+
+src_configure() {
+   local interfaces=( c )
+   use cxx && interfaces+=( cxx )
+   econf \
+   --disable-debugging \
+   --disable-optimization \
+   $(use_enable doc documentation) \
+   $(use_enable cdd ppl_lcdd) \
+   $(use_enable lpsol ppl_lpsol) \
+   $(use_enable pch) \
+   --enable-interfaces="${interfaces[*]}" \
+   $(use test && echo --enable-check=quick)
+}
+
+src_install() {
+   default
+   find "${ED}" -type f -name '*.la' -delete || die
+
+   pushd "${ED}/usr/share/doc/${PF}" >/dev/null || die
+   rm gpl* fdl* || die  # Redundant license texts
+   rm *.ps.gz || die# Each ps.gz has a pdf counterpart
+
+   if ! use doc ; then
+   rm -r *-html/ *.pdf || die
+   fi
+}

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2022-03-03 Thread David Seifert

commit: 48e13b802d0949b349f17a7dca6c485551c42328
Author: Sam James  gentoo  org>
AuthorDate: Thu Mar  3 21:21:41 2022 +
Commit: David Seifert  gentoo  org>
CommitDate: Thu Mar  3 21:21:41 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=48e13b80

dev-libs/ppl: destabilise for ppc

Signed-off-by: Sam James  gentoo.org>
Signed-off-by: David Seifert  gentoo.org>

 dev-libs/ppl/ppl-1.2-r4.ebuild | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev-libs/ppl/ppl-1.2-r4.ebuild b/dev-libs/ppl/ppl-1.2-r4.ebuild
index dd41b374a8a8..6ce0fa97ee98 100644
--- a/dev-libs/ppl/ppl-1.2-r4.ebuild
+++ b/dev-libs/ppl/ppl-1.2-r4.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2021 Gentoo Authors
+# Copyright 1999-2022 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=7
@@ -12,7 +12,7 @@ 
SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz
 
 LICENSE="GPL-3"
 SLOT="0/4.14" # SONAMEs
-KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ppc64 ~riscv 
~s390 sparc x86 ~amd64-linux ~sparc-solaris"
+KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ppc64 ~riscv 
~s390 sparc x86 ~amd64-linux ~sparc-solaris"
 IUSE="cdd +cxx doc lpsol pch static-libs test"
 
 RDEPEND=">=dev-libs/gmp-6[cxx(+)]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2021-12-29 Thread Yixun Lan

commit: f74f28271e4849a12f75207c615143ab87f4c543
Author: Alex Fan  gmail  com>
AuthorDate: Tue Dec 28 10:17:23 2021 +
Commit: Yixun Lan  gentoo  org>
CommitDate: Wed Dec 29 13:39:54 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f74f2827

dev-libs/ppl: keyword 1.2-r4 for ~riscv

Signed-off-by: Alex Fan  gmail.com>
Signed-off-by: Yixun Lan  gentoo.org>

 dev-libs/ppl/ppl-1.2-r4.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.2-r4.ebuild b/dev-libs/ppl/ppl-1.2-r4.ebuild
index 0ff38f8e2e76..dd41b374a8a8 100644
--- a/dev-libs/ppl/ppl-1.2-r4.ebuild
+++ b/dev-libs/ppl/ppl-1.2-r4.ebuild
@@ -12,7 +12,7 @@ 
SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz
 
 LICENSE="GPL-3"
 SLOT="0/4.14" # SONAMEs
-KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ppc64 ~s390 
sparc x86 ~amd64-linux ~sparc-solaris"
+KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ppc64 ~riscv 
~s390 sparc x86 ~amd64-linux ~sparc-solaris"
 IUSE="cdd +cxx doc lpsol pch static-libs test"
 
 RDEPEND=">=dev-libs/gmp-6[cxx(+)]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2021-06-18 Thread David Seifert

commit: 170d510d267de8ffc7135da51daada5deff09e5c
Author: David Seifert  gentoo  org>
AuthorDate: Fri Jun 18 13:15:09 2021 +
Commit: David Seifert  gentoo  org>
CommitDate: Fri Jun 18 13:15:09 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=170d510d

dev-libs/ppl: Depend on dev-libs/gmp[cxx(+)]

Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: David Seifert  gentoo.org>

 dev-libs/ppl/{ppl-1.2-r3.ebuild => ppl-1.2-r4.ebuild} | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev-libs/ppl/ppl-1.2-r3.ebuild b/dev-libs/ppl/ppl-1.2-r4.ebuild
similarity index 96%
rename from dev-libs/ppl/ppl-1.2-r3.ebuild
rename to dev-libs/ppl/ppl-1.2-r4.ebuild
index c3e4bc769be..0ff38f8e2e7 100644
--- a/dev-libs/ppl/ppl-1.2-r3.ebuild
+++ b/dev-libs/ppl/ppl-1.2-r4.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2020 Gentoo Authors
+# Copyright 1999-2021 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=7
@@ -15,7 +15,7 @@ SLOT="0/4.14" # SONAMEs
 KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ppc64 ~s390 
sparc x86 ~amd64-linux ~sparc-solaris"
 IUSE="cdd +cxx doc lpsol pch static-libs test"
 
-RDEPEND=">=dev-libs/gmp-6[cxx]
+RDEPEND=">=dev-libs/gmp-6[cxx(+)]
lpsol? ( sci-mathematics/glpk )"
 DEPEND="${RDEPEND}
app-arch/xz-utils

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/, dev-libs/ppl/files/

2020-11-15 Thread Joonas Niilola

commit: 0bb5e7b1fdbd2a802130b9e257b6de16f6adae08
Author: Joonas Niilola  gentoo  org>
AuthorDate: Sun Nov 15 15:05:19 2020 +
Commit: Joonas Niilola  gentoo  org>
CommitDate: Sun Nov 15 15:31:21 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0bb5e7b1

dev-libs/ppl: fix SizeViolation issue

Closes: https://bugs.gentoo.org/748171
Signed-off-by: Joonas Niilola  gentoo.org>

 dev-libs/ppl/Manifest |1 +
 dev-libs/ppl/files/disable-boeing-tests.patch | 1176 -
 dev-libs/ppl/ppl-1.2-r3.ebuild|5 +-
 3 files changed, 4 insertions(+), 1178 deletions(-)

diff --git a/dev-libs/ppl/Manifest b/dev-libs/ppl/Manifest
index 4fbf613da60..1b10f505e69 100644
--- a/dev-libs/ppl/Manifest
+++ b/dev-libs/ppl/Manifest
@@ -1 +1,2 @@
+DIST ppl-1.2-r3-disable-boeing-tests.patch 21485 BLAKE2B 
e68bab59710c63726f04a139e84d72b277e85625bc405c594a22c005186a2c3aae3850e17b81d38fa0231dcfd08454d488bbad2474ed810be78ef646d9c92559
 SHA512 
fc8dc020e493e5726167741d1548c661bac07991a982bf09ff61f593adfd2faf723886cbcb16d741db61e46530c4dddf49b6b61b67fef7d5ac15ca577c7fc46d
 DIST ppl-1.2.tar.xz 14136236 BLAKE2B 
060b73384dac558dc8b2b0f1027ed0aa270b0adf0992c2ca1a281fa7bcdf959cba3a9e8ee29e978d12c3eee606b819075c5bcab59f4aed24fbf1c5512b5e2c36
 SHA512 
b509ed85fa6aedd40119bd4c980b17f33072c56c2acd923da3445b6bc80d48051cfa4c04cce96f6974711f5279c24b31cb3869f87b2eb6a2a1b30a058c809350

diff --git a/dev-libs/ppl/files/disable-boeing-tests.patch 
b/dev-libs/ppl/files/disable-boeing-tests.patch
deleted file mode 100644
index ca208b8707f..000
--- a/dev-libs/ppl/files/disable-boeing-tests.patch
+++ /dev/null
@@ -1,1176 +0,0 @@
-From 14ceb43dee3c3a029dd5398d809796011dd3d772 Mon Sep 17 00:00:00 2001
-From: Michael Orlitzky 
-Date: Tue, 14 Apr 2020 10:52:53 -0400
-Subject: [PATCH 1/1] demos/ppl_lpsol/examples: disable the boeing[12].mps
- tests.
-
-These two tests fail due to numerical noise on 32-bit systems, and
-this commit disables them to prevent build failures on Gentoo. This
-one is a bit trickier than the other test removals because we need to
-hack the expected output out of the expected_mpz file as well.
-
-Warning: this is only half of the solution. The boeing[12].mps files
-must still be deleted by the ebuild. The patch does not do this to
-avoid running afoul of the 20KiB patch size limit in Gentoo.
-
-Upstream-bug: https://www.cs.unipr.it/mantis/view.php?id=1078
-Upstream-bug: https://www.cs.unipr.it/mantis/view.php?id=2113

- demos/ppl_lpsol/Makefile.am  |   21 -
- demos/ppl_lpsol/examples/Makefile.am |2 -
- demos/ppl_lpsol/expected_mpz | 1070 --
- 3 files changed, 1093 deletions(-)
-
-diff --git a/demos/ppl_lpsol/Makefile.am b/demos/ppl_lpsol/Makefile.am
-index d6d6a38b2..7c73ba455 100644
 a/demos/ppl_lpsol/Makefile.am
-+++ b/demos/ppl_lpsol/Makefile.am
-@@ -115,8 +115,6 @@ endif !ASSERTIONS_ENABLED
- TOUGH_EXAMPLES_FOR_ENUM = \
- adlittle.mps \
- blend.mps \
--boeing1.mps \
--boeing2.mps \
- egout.mps \
- kb2.mps \
- lseu.mps \
-@@ -161,8 +159,6 @@ adlittle.mps \
- afiro.mps \
- bgprtr.mps \
- blend.mps \
--boeing1.mps \
--boeing2.mps \
- kb2.mps \
- sample.mps \
- sc105.mps \
-@@ -172,13 +168,9 @@ ship08l.mps
- 
- DO_NOT_OUTPUT_OPTIMUM_LOCATION_PROBLEMS = \
- adlittle.mps \
--boeing1.mps \
--boeing2.mps \
- rout.mps
- 
- INDIVIDUALLY_CHECKED_PROBLEMS = \
--boeing1.mps \
--boeing2.mps \
- ex12.mps \
- mas74.mps \
- modglob.mps
-@@ -291,19 +283,6 @@ check-local: ppl_lpsol$(EXEEXT)
- echo "*** ppl_lpsol -e -r $$m -oobtained $$file" >>obtained; \
- ./ppl_lpsol$(EXEEXT) -e -r $(CHECK_OPTION) $$m -oobtained $$path 
>/dev/null; \
-   done
--  $(ECHO_SIMPLEX_NOCHECK) "-r -m -c0.518 boeing1.mps" >>obtained
--  -$(SIMPLEX_NOCHECK) -r -m -c0.518 
$(srcdir)/examples/boeing1.mps >/dev/null
--  $(ECHO_SIMPLEX_NOCHECK) "-r -M -c0.000105 boeing1.mps" >>obtained
--  -$(SIMPLEX_NOCHECK) -r -M -c0.000105 $(srcdir)/examples/boeing1.mps 
$$m >/dev/null
--  $(ECHO_SIMPLEX) "-n boeing1.mps" >>obtained
--  -$(SIMPLEX) -n $(srcdir)/examples/boeing1.mps >/dev/null
--  $(ECHO_SIMPLEX_NOCHECK) "-r -m -c0.863 boeing2.mps" >>obtained
--  -$(SIMPLEX_NOCHECK) -r -m -c0.863 
$(srcdir)/examples/boeing2.mps >/dev/null
--  $(ECHO_SIMPLEX_NOCHECK) "-r -M -c0.213 boeing2.mps" >>obtained
--  -$(SIMPLEX_NOCHECK) -r -M -c0.213 
$(srcdir)/examples/boeing2.mps $$m >/dev/null
--  $(ECHO_SIMPLEX) "-n boeing2.mps" >>obtained
--  -$(SIMPLEX) -n $(srcdir)/examples/boeing2.mps >/dev/null
--
-   $(ECHO_SIMPLEX) "-r -m mas74.mps" >>obtained
-   -$(SIMPLEX) -r -m $(srcdir)/examples/mas74.mps >/dev/null
-   $(ECHO_SIMPLEX_NOCHECK) "-r -M -c0.000123 mas74.mps" >>obtained
-diff --git a/demos/ppl_lpsol/examples/Makefile.am 
b/demos/ppl_lpsol/examples/Makefile.am
-index f621a68d4..ce333c7c5 100644

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2020-06-11 Thread Michael Orlitzky

commit: c3af79f8ead8cffcc872dd765ee5d75e2132383c
Author: Michael Orlitzky  gentoo  org>
AuthorDate: Thu Jun 11 12:22:08 2020 +
Commit: Michael Orlitzky  gentoo  org>
CommitDate: Thu Jun 11 12:31:48 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c3af79f8

dev-libs/ppl: remove old "unused" versions.

Package-Manager: Portage-2.3.99, Repoman-2.3.22
Signed-off-by: Michael Orlitzky  gentoo.org>

 dev-libs/ppl/ppl-1.2-r2.ebuild | 67 --
 1 file changed, 67 deletions(-)

diff --git a/dev-libs/ppl/ppl-1.2-r2.ebuild b/dev-libs/ppl/ppl-1.2-r2.ebuild
deleted file mode 100644
index 091d9ca0a9f..000
--- a/dev-libs/ppl/ppl-1.2-r2.ebuild
+++ /dev/null
@@ -1,67 +0,0 @@
-# Copyright 1999-2020 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="7"
-
-inherit autotools
-
-DESCRIPTION="The Parma Polyhedra Library for numerical 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.14" # SONAMEs
-KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ppc64 ~s390 
sparc x86 ~amd64-linux ~sparc-solaris"
-IUSE="cdd +cxx doc lpsol pch static-libs test"
-
-RDEPEND=">=dev-libs/gmp-6[cxx]
-   lpsol? ( sci-mathematics/glpk )"
-DEPEND="${RDEPEND}
-   app-arch/xz-utils
-   sys-devel/m4"
-
-RESTRICT="!test? ( test )"
-
-PATCHES=(
-   "${FILESDIR}/disable-mipproblem2.patch"
-   "${FILESDIR}/disable-containsintegerpoint1.patch"
-   "${FILESDIR}/disable-boeing-tests.patch"
-)
-
-src_prepare() {
-   default
-
-   # The patch should do this, but then the diff makes it run
-   # afoul of the Gentoo patch size limit.
-   rm demos/ppl_lpsol/examples/boeing[12].mps || die
-
-   eautoreconf
-}
-
-src_configure() {
-   local interfaces=( c )
-   use cxx && interfaces+=( cxx )
-   econf \
-   --disable-debugging \
-   --disable-optimization \
-   $(use_enable doc documentation) \
-   $(use_enable cdd ppl_lcdd) \
-   $(use_enable lpsol ppl_lpsol) \
-   $(use_enable pch) \
-   $(use_enable static-libs static) \
-   --enable-interfaces="${interfaces[*]}" \
-   $(use test && echo --enable-check=quick)
-}
-
-src_install() {
-   default
-   if ! use static-libs; then
-   find "${ED}"/usr -name 'libppl*.la' -delete || die
-   fi
-
-   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
-}

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2020-06-11 Thread Agostino Sarubbo

commit: 73643241613e533661f53d1b46672dbc5635bc6c
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Thu Jun 11 08:34:26 2020 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Thu Jun 11 08:34:31 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=73643241

dev-libs/ppl: x86 stable wrt bug #727724

Package-Manager: Portage-2.3.99, Repoman-2.3.22
RepoMan-Options: --include-arches="x86"
Signed-off-by: Agostino Sarubbo  gentoo.org>

 dev-libs/ppl/ppl-1.2-r3.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.2-r3.ebuild b/dev-libs/ppl/ppl-1.2-r3.ebuild
index 9bab3c55b5d..ea74b3baa50 100644
--- a/dev-libs/ppl/ppl-1.2-r3.ebuild
+++ b/dev-libs/ppl/ppl-1.2-r3.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz
 
 LICENSE="GPL-3"
 SLOT="0/4.14" # SONAMEs
-KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ppc64 ~s390 
sparc ~x86 ~amd64-linux ~sparc-solaris"
+KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ppc64 ~s390 
sparc x86 ~amd64-linux ~sparc-solaris"
 IUSE="cdd +cxx doc lpsol pch static-libs test"
 
 RDEPEND=">=dev-libs/gmp-6[cxx]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2020-06-11 Thread Agostino Sarubbo

commit: aad0710199d83f5cfa55218093c02c4ac5df0428
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Thu Jun 11 08:31:49 2020 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Thu Jun 11 08:31:49 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=aad07101

dev-libs/ppl: ppc64 stable wrt bug #727724

Package-Manager: Portage-2.3.99, Repoman-2.3.22
RepoMan-Options: --include-arches="ppc64"
Signed-off-by: Agostino Sarubbo  gentoo.org>

 dev-libs/ppl/ppl-1.2-r3.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.2-r3.ebuild b/dev-libs/ppl/ppl-1.2-r3.ebuild
index 2945be071f5..9bab3c55b5d 100644
--- a/dev-libs/ppl/ppl-1.2-r3.ebuild
+++ b/dev-libs/ppl/ppl-1.2-r3.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz
 
 LICENSE="GPL-3"
 SLOT="0/4.14" # SONAMEs
-KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ~ppc64 ~s390 
sparc ~x86 ~amd64-linux ~sparc-solaris"
+KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ppc64 ~s390 
sparc ~x86 ~amd64-linux ~sparc-solaris"
 IUSE="cdd +cxx doc lpsol pch static-libs test"
 
 RDEPEND=">=dev-libs/gmp-6[cxx]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2020-06-11 Thread Agostino Sarubbo

commit: 8fae6de43e474567e94f1dac70d6e4fee028ba9d
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Thu Jun 11 08:29:33 2020 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Thu Jun 11 08:29:44 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8fae6de4

dev-libs/ppl: ppc stable wrt bug #727724

Package-Manager: Portage-2.3.99, Repoman-2.3.22
RepoMan-Options: --include-arches="ppc"
Signed-off-by: Agostino Sarubbo  gentoo.org>

 dev-libs/ppl/ppl-1.2-r3.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.2-r3.ebuild b/dev-libs/ppl/ppl-1.2-r3.ebuild
index e5d8d75b3a6..2945be071f5 100644
--- a/dev-libs/ppl/ppl-1.2-r3.ebuild
+++ b/dev-libs/ppl/ppl-1.2-r3.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz
 
 LICENSE="GPL-3"
 SLOT="0/4.14" # SONAMEs
-KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~s390 
sparc ~x86 ~amd64-linux ~sparc-solaris"
+KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ~ppc64 ~s390 
sparc ~x86 ~amd64-linux ~sparc-solaris"
 IUSE="cdd +cxx doc lpsol pch static-libs test"
 
 RDEPEND=">=dev-libs/gmp-6[cxx]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2020-06-11 Thread Agostino Sarubbo

commit: bb9c49584916e1f812702e8059398bc82074e53c
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Thu Jun 11 08:27:51 2020 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Thu Jun 11 08:27:51 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bb9c4958

dev-libs/ppl: arm stable wrt bug #727724

Package-Manager: Portage-2.3.99, Repoman-2.3.22
RepoMan-Options: --include-arches="arm"
Signed-off-by: Agostino Sarubbo  gentoo.org>

 dev-libs/ppl/ppl-1.2-r3.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.2-r3.ebuild b/dev-libs/ppl/ppl-1.2-r3.ebuild
index 3fdd17246fd..e5d8d75b3a6 100644
--- a/dev-libs/ppl/ppl-1.2-r3.ebuild
+++ b/dev-libs/ppl/ppl-1.2-r3.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz
 
 LICENSE="GPL-3"
 SLOT="0/4.14" # SONAMEs
-KEYWORDS="~alpha amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~s390 
sparc ~x86 ~amd64-linux ~sparc-solaris"
+KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~s390 
sparc ~x86 ~amd64-linux ~sparc-solaris"
 IUSE="cdd +cxx doc lpsol pch static-libs test"
 
 RDEPEND=">=dev-libs/gmp-6[cxx]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2020-06-11 Thread Agostino Sarubbo

commit: 3a80c8228ffb8da1698486bf6e077b8c2311fed5
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Thu Jun 11 08:25:46 2020 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Thu Jun 11 08:25:46 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3a80c822

dev-libs/ppl: amd64 stable wrt bug #727724

Package-Manager: Portage-2.3.99, Repoman-2.3.22
RepoMan-Options: --include-arches="amd64"
Signed-off-by: Agostino Sarubbo  gentoo.org>

 dev-libs/ppl/ppl-1.2-r3.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.2-r3.ebuild b/dev-libs/ppl/ppl-1.2-r3.ebuild
index 3caffbd1e51..3fdd17246fd 100644
--- a/dev-libs/ppl/ppl-1.2-r3.ebuild
+++ b/dev-libs/ppl/ppl-1.2-r3.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz
 
 LICENSE="GPL-3"
 SLOT="0/4.14" # SONAMEs
-KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~s390 
sparc ~x86 ~amd64-linux ~sparc-solaris"
+KEYWORDS="~alpha amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~s390 
sparc ~x86 ~amd64-linux ~sparc-solaris"
 IUSE="cdd +cxx doc lpsol pch static-libs test"
 
 RDEPEND=">=dev-libs/gmp-6[cxx]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2020-06-10 Thread Agostino Sarubbo

commit: 131743ef8ee0886ec30e3b9313fcb4832fca4b27
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Wed Jun 10 13:01:43 2020 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Wed Jun 10 13:01:43 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=131743ef

dev-libs/ppl: sparc stable wrt bug #727724

Package-Manager: Portage-2.3.99, Repoman-2.3.22
RepoMan-Options: --include-arches="sparc"
Signed-off-by: Agostino Sarubbo  gentoo.org>

 dev-libs/ppl/ppl-1.2-r3.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.2-r3.ebuild b/dev-libs/ppl/ppl-1.2-r3.ebuild
index 91ea71b2109..3caffbd1e51 100644
--- a/dev-libs/ppl/ppl-1.2-r3.ebuild
+++ b/dev-libs/ppl/ppl-1.2-r3.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz
 
 LICENSE="GPL-3"
 SLOT="0/4.14" # SONAMEs
-KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~s390 
~sparc ~x86 ~amd64-linux ~sparc-solaris"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~s390 
sparc ~x86 ~amd64-linux ~sparc-solaris"
 IUSE="cdd +cxx doc lpsol pch static-libs test"
 
 RDEPEND=">=dev-libs/gmp-6[cxx]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/, dev-libs/ppl/files/

2020-04-20 Thread Michael Orlitzky

commit: 8827e0c526c4dc5d6382cd91d1547f64f85b1ace
Author: Michael Orlitzky  gentoo  org>
AuthorDate: Tue Apr 21 01:26:55 2020 +
Commit: Michael Orlitzky  gentoo  org>
CommitDate: Tue Apr 21 02:46:21 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8827e0c5

dev-libs/ppl: new revision to fix the build with clang.

This new revision includes an upstream patch (from their git
repository) to fix the build with clang by adding some missing
keywords that should have been there all along. Thanks to Olivier
Huber for the report and for tracking down the patch.

When building with clang, the ./configure script spits out scary
warnings about missing the GCC-specific -frounding-math flag. I
wouldn't worry about it, but judge for yourself.

Closes: https://bugs.gentoo.org/717768
Package-Manager: Portage-2.3.89, Repoman-2.3.20
Signed-off-by: Michael Orlitzky  gentoo.org>

 dev-libs/ppl/files/fix-clang-build.patch | 37 +
 dev-libs/ppl/ppl-1.2-r3.ebuild   | 68 
 2 files changed, 105 insertions(+)

diff --git a/dev-libs/ppl/files/fix-clang-build.patch 
b/dev-libs/ppl/files/fix-clang-build.patch
new file mode 100644
index 000..648ff59aa30
--- /dev/null
+++ b/dev-libs/ppl/files/fix-clang-build.patch
@@ -0,0 +1,37 @@
+From: Roberto Bagnara 
+Date: Sun, 11 Feb 2018 08:11:09 + (+0100)
+Subject: Added missing "template" and "typename" keywords.
+X-Git-Url: 
http://www.cs.unipr.it/git/gitweb.cgi?p=ppl%2Fppl.git;a=commitdiff_plain;h=c39f6a07b51f89e365b05ba4147aa2aa448febd7;hp=3a5e1e20a94cffb830182f22132b153d6691b7c5
+
+Added missing "template" and "typename" keywords.
+(Thanks to Dmitrii Pasechnik.)
+---
+
+diff --git a/src/Determinate_inlines.hh b/src/Determinate_inlines.hh
+index 2749953..5b47275 100644
+--- a/src/Determinate_inlines.hh
 b/src/Determinate_inlines.hh
+@@ -289,8 +289,8 @@ operator()(Determinate& x, const Determinate& y) const {
+ 
+ template 
+ template 
+-inline
+-Determinate::Binary_Operator_Assign_Lifter
++inline typename
++Determinate::template 
Binary_Operator_Assign_Lifter
+ Determinate::lift_op_assign(Binary_Operator_Assign op_assign) {
+   return Binary_Operator_Assign_Lifter(op_assign);
+ }
+diff --git a/src/OR_Matrix_inlines.hh b/src/OR_Matrix_inlines.hh
+index b20b697..8124b7f 100644
+--- a/src/OR_Matrix_inlines.hh
 b/src/OR_Matrix_inlines.hh
+@@ -97,7 +97,7 @@ OR_Matrix::Pseudo_Row::Pseudo_Row(const Pseudo_Row& 
y)
+ 
+ template 
+ template 
+-inline OR_Matrix::Pseudo_Row&
++inline typename OR_Matrix::template Pseudo_Row&
+ OR_Matrix::Pseudo_Row::operator=(const Pseudo_Row& y) {
+   first = y.first;
+ #if PPL_OR_MATRIX_EXTRA_DEBUG

diff --git a/dev-libs/ppl/ppl-1.2-r3.ebuild b/dev-libs/ppl/ppl-1.2-r3.ebuild
new file mode 100644
index 000..91ea71b2109
--- /dev/null
+++ b/dev-libs/ppl/ppl-1.2-r3.ebuild
@@ -0,0 +1,68 @@
+# Copyright 1999-2020 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit autotools
+
+DESCRIPTION="The Parma Polyhedra Library for numerical 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.14" # SONAMEs
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~s390 
~sparc ~x86 ~amd64-linux ~sparc-solaris"
+IUSE="cdd +cxx doc lpsol pch static-libs test"
+
+RDEPEND=">=dev-libs/gmp-6[cxx]
+   lpsol? ( sci-mathematics/glpk )"
+DEPEND="${RDEPEND}
+   app-arch/xz-utils
+   sys-devel/m4"
+
+RESTRICT="!test? ( test )"
+
+PATCHES=(
+   "${FILESDIR}/disable-mipproblem2.patch"
+   "${FILESDIR}/disable-containsintegerpoint1.patch"
+   "${FILESDIR}/disable-boeing-tests.patch"
+   "${FILESDIR}/fix-clang-build.patch"
+)
+
+src_prepare() {
+   default
+
+   # The patch should do this, but then the diff makes it run
+   # afoul of the Gentoo patch size limit.
+   rm demos/ppl_lpsol/examples/boeing[12].mps || die
+
+   eautoreconf
+}
+
+src_configure() {
+   local interfaces=( c )
+   use cxx && interfaces+=( cxx )
+   econf \
+   --disable-debugging \
+   --disable-optimization \
+   $(use_enable doc documentation) \
+   $(use_enable cdd ppl_lcdd) \
+   $(use_enable lpsol ppl_lpsol) \
+   $(use_enable pch) \
+   $(use_enable static-libs static) \
+   --enable-interfaces="${interfaces[*]}" \
+   $(use test && echo --enable-check=quick)
+}
+
+src_install() {
+   default
+   if ! use static-libs; then
+   find "${ED}"/usr -name 'libppl*.la' -delete || die
+   fi
+
+   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
+}

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2020-04-16 Thread Michael Orlitzky

commit: d8589f774b34d14e9887be399e63f67d9858706c
Author: Michael Orlitzky  gentoo  org>
AuthorDate: Thu Apr 16 11:39:49 2020 +
Commit: Michael Orlitzky  gentoo  org>
CommitDate: Thu Apr 16 11:39:49 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d8589f77

dev-libs/ppl: drop old "unused" ebuilds.

Package-Manager: Portage-2.3.89, Repoman-2.3.20
Signed-off-by: Michael Orlitzky  gentoo.org>

 dev-libs/ppl/ppl-1.2-r1.ebuild | 46 
 dev-libs/ppl/ppl-1.2.ebuild| 60 --
 2 files changed, 106 deletions(-)

diff --git a/dev-libs/ppl/ppl-1.2-r1.ebuild b/dev-libs/ppl/ppl-1.2-r1.ebuild
deleted file mode 100644
index 6980ae7142c..000
--- a/dev-libs/ppl/ppl-1.2-r1.ebuild
+++ /dev/null
@@ -1,46 +0,0 @@
-# Copyright 1999-2020 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="7"
-
-DESCRIPTION="The Parma Polyhedra Library for numerical 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.14" # SONAMEs
-KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~s390 
~sparc ~x86 ~amd64-linux ~sparc-solaris"
-IUSE="+cxx doc lpsol pch static-libs test"
-
-RDEPEND=">=dev-libs/gmp-6[cxx]
-   lpsol? ( sci-mathematics/glpk )"
-DEPEND="${RDEPEND}
-   app-arch/xz-utils
-   sys-devel/m4"
-
-RESTRICT="!test? ( test )"
-
-src_configure() {
-   local interfaces=( c )
-   use cxx && interfaces+=( cxx )
-   econf \
-   --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_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
-}

diff --git a/dev-libs/ppl/ppl-1.2.ebuild b/dev-libs/ppl/ppl-1.2.ebuild
deleted file mode 100644
index f312858082b..000
--- a/dev-libs/ppl/ppl-1.2.ebuild
+++ /dev/null
@@ -1,60 +0,0 @@
-# Copyright 1999-2020 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="5"
-
-DESCRIPTION="The Parma Polyhedra Library for numerical 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.14" # SONAMEs
-KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ppc64 ~s390 
sparc x86 ~amd64-linux ~sparc-solaris"
-IUSE="+cxx doc lpsol pch static-libs test"
-
-RDEPEND=">=dev-libs/gmp-6[cxx]
-   lpsol? ( sci-mathematics/glpk )"
-DEPEND="${RDEPEND}
-   app-arch/xz-utils
-   sys-devel/m4"
-
-RESTRICT="!test? ( test )"
-
-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
-}

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2020-04-16 Thread Agostino Sarubbo

commit: 8bcb6530c6eea87e2612867ff4acc155976a2d15
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Thu Apr 16 11:23:58 2020 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Thu Apr 16 11:23:58 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8bcb6530

dev-libs/ppl: x86 stable wrt bug #717570

Package-Manager: Portage-2.3.89, Repoman-2.3.20
RepoMan-Options: --include-arches="x86"
Signed-off-by: Agostino Sarubbo  gentoo.org>

 dev-libs/ppl/ppl-1.2-r2.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.2-r2.ebuild b/dev-libs/ppl/ppl-1.2-r2.ebuild
index 4c97f48df2b..091d9ca0a9f 100644
--- a/dev-libs/ppl/ppl-1.2-r2.ebuild
+++ b/dev-libs/ppl/ppl-1.2-r2.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz
 
 LICENSE="GPL-3"
 SLOT="0/4.14" # SONAMEs
-KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ppc64 ~s390 
sparc ~x86 ~amd64-linux ~sparc-solaris"
+KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ppc64 ~s390 
sparc x86 ~amd64-linux ~sparc-solaris"
 IUSE="cdd +cxx doc lpsol pch static-libs test"
 
 RDEPEND=">=dev-libs/gmp-6[cxx]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2020-04-16 Thread Agostino Sarubbo

commit: ba6274ace5edd40d44a37c45c6482bfc75ddaf6e
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Thu Apr 16 11:23:24 2020 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Thu Apr 16 11:23:24 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ba6274ac

dev-libs/ppl: ppc64 stable wrt bug #717570

Package-Manager: Portage-2.3.89, Repoman-2.3.20
RepoMan-Options: --include-arches="ppc64"
Signed-off-by: Agostino Sarubbo  gentoo.org>

 dev-libs/ppl/ppl-1.2-r2.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.2-r2.ebuild b/dev-libs/ppl/ppl-1.2-r2.ebuild
index c6f06ed3e9f..4c97f48df2b 100644
--- a/dev-libs/ppl/ppl-1.2-r2.ebuild
+++ b/dev-libs/ppl/ppl-1.2-r2.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz
 
 LICENSE="GPL-3"
 SLOT="0/4.14" # SONAMEs
-KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ~ppc64 ~s390 
sparc ~x86 ~amd64-linux ~sparc-solaris"
+KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ppc64 ~s390 
sparc ~x86 ~amd64-linux ~sparc-solaris"
 IUSE="cdd +cxx doc lpsol pch static-libs test"
 
 RDEPEND=">=dev-libs/gmp-6[cxx]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2020-04-16 Thread Agostino Sarubbo

commit: 1b499c2da8455af10600ce3fab88385f1799152e
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Thu Apr 16 11:22:42 2020 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Thu Apr 16 11:22:42 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1b499c2d

dev-libs/ppl: arm stable wrt bug #717570

Package-Manager: Portage-2.3.89, Repoman-2.3.20
RepoMan-Options: --include-arches="arm"
Signed-off-by: Agostino Sarubbo  gentoo.org>

 dev-libs/ppl/ppl-1.2-r2.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.2-r2.ebuild b/dev-libs/ppl/ppl-1.2-r2.ebuild
index efe4b7cd592..c6f06ed3e9f 100644
--- a/dev-libs/ppl/ppl-1.2-r2.ebuild
+++ b/dev-libs/ppl/ppl-1.2-r2.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz
 
 LICENSE="GPL-3"
 SLOT="0/4.14" # SONAMEs
-KEYWORDS="~alpha amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ~ppc64 ~s390 
sparc ~x86 ~amd64-linux ~sparc-solaris"
+KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ~ppc64 ~s390 
sparc ~x86 ~amd64-linux ~sparc-solaris"
 IUSE="cdd +cxx doc lpsol pch static-libs test"
 
 RDEPEND=">=dev-libs/gmp-6[cxx]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2020-04-16 Thread Agostino Sarubbo

commit: 15951022da43c7abe1c549a0a15cff626ddd2eaf
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Thu Apr 16 09:54:34 2020 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Thu Apr 16 09:54:34 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=15951022

dev-libs/ppl: ppc stable wrt bug #717570

Package-Manager: Portage-2.3.89, Repoman-2.3.20
RepoMan-Options: --include-arches="ppc"
Signed-off-by: Agostino Sarubbo  gentoo.org>

 dev-libs/ppl/ppl-1.2-r2.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.2-r2.ebuild b/dev-libs/ppl/ppl-1.2-r2.ebuild
index 8889f5668e4..efe4b7cd592 100644
--- a/dev-libs/ppl/ppl-1.2-r2.ebuild
+++ b/dev-libs/ppl/ppl-1.2-r2.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz
 
 LICENSE="GPL-3"
 SLOT="0/4.14" # SONAMEs
-KEYWORDS="~alpha amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~s390 
sparc ~x86 ~amd64-linux ~sparc-solaris"
+KEYWORDS="~alpha amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ~ppc64 ~s390 
sparc ~x86 ~amd64-linux ~sparc-solaris"
 IUSE="cdd +cxx doc lpsol pch static-libs test"
 
 RDEPEND=">=dev-libs/gmp-6[cxx]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2020-04-16 Thread Agostino Sarubbo

commit: e6e4d9bad3f13ca334aa17c4b255b18cdfe6025c
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Thu Apr 16 09:53:42 2020 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Thu Apr 16 09:53:42 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e6e4d9ba

dev-libs/ppl: amd64 stable wrt bug #717570

Package-Manager: Portage-2.3.89, Repoman-2.3.20
RepoMan-Options: --include-arches="amd64"
Signed-off-by: Agostino Sarubbo  gentoo.org>

 dev-libs/ppl/ppl-1.2-r2.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.2-r2.ebuild b/dev-libs/ppl/ppl-1.2-r2.ebuild
index ad1e04cfc95..8889f5668e4 100644
--- a/dev-libs/ppl/ppl-1.2-r2.ebuild
+++ b/dev-libs/ppl/ppl-1.2-r2.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz
 
 LICENSE="GPL-3"
 SLOT="0/4.14" # SONAMEs
-KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~s390 
sparc ~x86 ~amd64-linux ~sparc-solaris"
+KEYWORDS="~alpha amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~s390 
sparc ~x86 ~amd64-linux ~sparc-solaris"
 IUSE="cdd +cxx doc lpsol pch static-libs test"
 
 RDEPEND=">=dev-libs/gmp-6[cxx]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2020-04-16 Thread Agostino Sarubbo

commit: 8c3c4d4ed7efa3abc9045b5b77c0ba536e4d0382
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Thu Apr 16 09:32:02 2020 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Thu Apr 16 09:32:02 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8c3c4d4e

dev-libs/ppl: sparc stable wrt bug #717570

Package-Manager: Portage-2.3.89, Repoman-2.3.20
RepoMan-Options: --include-arches="sparc"
Signed-off-by: Agostino Sarubbo  gentoo.org>

 dev-libs/ppl/ppl-1.2-r2.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.2-r2.ebuild b/dev-libs/ppl/ppl-1.2-r2.ebuild
index dc3cdaebfa3..ad1e04cfc95 100644
--- a/dev-libs/ppl/ppl-1.2-r2.ebuild
+++ b/dev-libs/ppl/ppl-1.2-r2.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz
 
 LICENSE="GPL-3"
 SLOT="0/4.14" # SONAMEs
-KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~s390 
~sparc ~x86 ~amd64-linux ~sparc-solaris"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~s390 
sparc ~x86 ~amd64-linux ~sparc-solaris"
 IUSE="cdd +cxx doc lpsol pch static-libs test"
 
 RDEPEND=">=dev-libs/gmp-6[cxx]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/, dev-libs/ppl/files/

2020-04-14 Thread Michael Orlitzky

commit: 4f4a0e1839754410641a5c2f277345f254c4d736
Author: Michael Orlitzky  gentoo  org>
AuthorDate: Tue Apr 14 21:20:53 2020 +
Commit: Michael Orlitzky  gentoo  org>
CommitDate: Tue Apr 14 21:21:10 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4f4a0e18

dev-libs/ppl: new revision to work around broken tests.

We have a reported test failure on PPC64 that kills the build. There
are a few other problematic tests that have been reported upstream as
well. Since PPL takes so long to build and test, this commit disables
those tests to avoid wasting users' time.

Bug: https://bugs.gentoo.org/717258
Upstream-bug: https://www.cs.unipr.it/mantis/view.php?id=2653
Upstream-bug: https://www.cs.unipr.it/mantis/view.php?id=2120
Upstream-bug: https://www.cs.unipr.it/mantis/view.php?id=1078
Upstream-bug: https://www.cs.unipr.it/mantis/view.php?id=2113
Package-Manager: Portage-2.3.89, Repoman-2.3.20
Signed-off-by: Michael Orlitzky  gentoo.org>

 dev-libs/ppl/files/disable-boeing-tests.patch  | 1176 
 .../ppl/files/disable-containsintegerpoint1.patch  |   38 +
 dev-libs/ppl/files/disable-mipproblem2.patch   |   39 +
 dev-libs/ppl/metadata.xml  |8 +-
 dev-libs/ppl/ppl-1.2-r2.ebuild |   67 ++
 5 files changed, 1327 insertions(+), 1 deletion(-)

diff --git a/dev-libs/ppl/files/disable-boeing-tests.patch 
b/dev-libs/ppl/files/disable-boeing-tests.patch
new file mode 100644
index 000..ca208b8707f
--- /dev/null
+++ b/dev-libs/ppl/files/disable-boeing-tests.patch
@@ -0,0 +1,1176 @@
+From 14ceb43dee3c3a029dd5398d809796011dd3d772 Mon Sep 17 00:00:00 2001
+From: Michael Orlitzky 
+Date: Tue, 14 Apr 2020 10:52:53 -0400
+Subject: [PATCH 1/1] demos/ppl_lpsol/examples: disable the boeing[12].mps
+ tests.
+
+These two tests fail due to numerical noise on 32-bit systems, and
+this commit disables them to prevent build failures on Gentoo. This
+one is a bit trickier than the other test removals because we need to
+hack the expected output out of the expected_mpz file as well.
+
+Warning: this is only half of the solution. The boeing[12].mps files
+must still be deleted by the ebuild. The patch does not do this to
+avoid running afoul of the 20KiB patch size limit in Gentoo.
+
+Upstream-bug: https://www.cs.unipr.it/mantis/view.php?id=1078
+Upstream-bug: https://www.cs.unipr.it/mantis/view.php?id=2113
+---
+ demos/ppl_lpsol/Makefile.am  |   21 -
+ demos/ppl_lpsol/examples/Makefile.am |2 -
+ demos/ppl_lpsol/expected_mpz | 1070 --
+ 3 files changed, 1093 deletions(-)
+
+diff --git a/demos/ppl_lpsol/Makefile.am b/demos/ppl_lpsol/Makefile.am
+index d6d6a38b2..7c73ba455 100644
+--- a/demos/ppl_lpsol/Makefile.am
 b/demos/ppl_lpsol/Makefile.am
+@@ -115,8 +115,6 @@ endif !ASSERTIONS_ENABLED
+ TOUGH_EXAMPLES_FOR_ENUM = \
+ adlittle.mps \
+ blend.mps \
+-boeing1.mps \
+-boeing2.mps \
+ egout.mps \
+ kb2.mps \
+ lseu.mps \
+@@ -161,8 +159,6 @@ adlittle.mps \
+ afiro.mps \
+ bgprtr.mps \
+ blend.mps \
+-boeing1.mps \
+-boeing2.mps \
+ kb2.mps \
+ sample.mps \
+ sc105.mps \
+@@ -172,13 +168,9 @@ ship08l.mps
+ 
+ DO_NOT_OUTPUT_OPTIMUM_LOCATION_PROBLEMS = \
+ adlittle.mps \
+-boeing1.mps \
+-boeing2.mps \
+ rout.mps
+ 
+ INDIVIDUALLY_CHECKED_PROBLEMS = \
+-boeing1.mps \
+-boeing2.mps \
+ ex12.mps \
+ mas74.mps \
+ modglob.mps
+@@ -291,19 +283,6 @@ check-local: ppl_lpsol$(EXEEXT)
+ echo "*** ppl_lpsol -e -r $$m -oobtained $$file" >>obtained; \
+ ./ppl_lpsol$(EXEEXT) -e -r $(CHECK_OPTION) $$m -oobtained $$path 
>/dev/null; \
+   done
+-  $(ECHO_SIMPLEX_NOCHECK) "-r -m -c0.518 boeing1.mps" >>obtained
+-  -$(SIMPLEX_NOCHECK) -r -m -c0.518 
$(srcdir)/examples/boeing1.mps >/dev/null
+-  $(ECHO_SIMPLEX_NOCHECK) "-r -M -c0.000105 boeing1.mps" >>obtained
+-  -$(SIMPLEX_NOCHECK) -r -M -c0.000105 $(srcdir)/examples/boeing1.mps 
$$m >/dev/null
+-  $(ECHO_SIMPLEX) "-n boeing1.mps" >>obtained
+-  -$(SIMPLEX) -n $(srcdir)/examples/boeing1.mps >/dev/null
+-  $(ECHO_SIMPLEX_NOCHECK) "-r -m -c0.863 boeing2.mps" >>obtained
+-  -$(SIMPLEX_NOCHECK) -r -m -c0.863 
$(srcdir)/examples/boeing2.mps >/dev/null
+-  $(ECHO_SIMPLEX_NOCHECK) "-r -M -c0.213 boeing2.mps" >>obtained
+-  -$(SIMPLEX_NOCHECK) -r -M -c0.213 
$(srcdir)/examples/boeing2.mps $$m >/dev/null
+-  $(ECHO_SIMPLEX) "-n boeing2.mps" >>obtained
+-  -$(SIMPLEX) -n $(srcdir)/examples/boeing2.mps >/dev/null
+-
+   $(ECHO_SIMPLEX) "-r -m mas74.mps" >>obtained
+   -$(SIMPLEX) -r -m $(srcdir)/examples/mas74.mps >/dev/null
+   $(ECHO_SIMPLEX_NOCHECK) "-r -M -c0.000123 mas74.mps" >>obtained
+diff --git a/demos/ppl_lpsol/examples/Makefile.am 
b/demos/ppl_lpsol/examples/Makefile.am
+index f621a68d4..ce333c7c5 100644
+--- a/demos/ppl_lpsol/examples/Makefile.am
 b/demos/ppl_lpsol/examples/Makefile.am
+@@ -26,8 +26,6 @@

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2020-04-13 Thread Michael Orlitzky

commit: cd799f3293f7b0e985df89b5b0eed797607fdbf8
Author: Michael Orlitzky  gentoo  org>
AuthorDate: Mon Apr 13 12:09:15 2020 +
Commit: Michael Orlitzky  gentoo  org>
CommitDate: Mon Apr 13 12:13:39 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cd799f32

dev-libs/ppl: add myself and François Bissey as maintainers.

Package-Manager: Portage-2.3.89, Repoman-2.3.20
Signed-off-by: Michael Orlitzky  gentoo.org>

 dev-libs/ppl/metadata.xml | 20 
 1 file changed, 16 insertions(+), 4 deletions(-)

diff --git a/dev-libs/ppl/metadata.xml b/dev-libs/ppl/metadata.xml
index 0b463612f74..b231c6289d5 100644
--- a/dev-libs/ppl/metadata.xml
+++ b/dev-libs/ppl/metadata.xml
@@ -1,8 +1,20 @@
 
 http://www.gentoo.org/dtd/metadata.dtd;>
 
-  
-
-  Build the ppl_lpsol linear programming problem 
solver
-
+  
+m...@gentoo.org
+  
+  
+frp.bis...@gmail.com
+François Bissey
+  
+  
+proxy-ma...@gentoo.org
+Proxy Maintainers
+  
+  
+
+  Build the ppl_lpsol linear programming problem solver
+
+

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2020-04-13 Thread Sergei Trofimovich

commit: f054fd75ab013787e2c65438998067de00de04e5
Author: Sergei Trofimovich  gentoo  org>
AuthorDate: Mon Apr 13 08:52:03 2020 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Mon Apr 13 08:52:14 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f054fd75

dev-libs/ppl: drop toolchain from maintainers

gcc's graphite does not use dev-libs/ppl for loop
optimizations for a while.

Package-Manager: Portage-2.3.99, Repoman-2.3.22
Signed-off-by: Sergei Trofimovich  gentoo.org>

 dev-libs/ppl/metadata.xml | 5 +
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/dev-libs/ppl/metadata.xml b/dev-libs/ppl/metadata.xml
index d1dc39110e2..0b463612f74 100644
--- a/dev-libs/ppl/metadata.xml
+++ b/dev-libs/ppl/metadata.xml
@@ -1,10 +1,7 @@
 
 http://www.gentoo.org/dtd/metadata.dtd;>
 
-
-  toolch...@gentoo.org
-  Gentoo Toolchain Project
-
+  
 
   Build the ppl_lpsol linear programming problem 
solver

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2020-04-11 Thread Sergei Trofimovich

commit: abdfc5549b95afe340b43cab201032764a53
Author: Rolf Eike Beer  sf-mail  de>
AuthorDate: Sat Apr 11 14:58:04 2020 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Sat Apr 11 15:57:49 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=abdfc554

dev-libs/ppl: drop to ~hppa

Package-Manager: Portage-2.3.89, Repoman-2.3.20
RepoMan-Options: --include-arches="hppa"
Signed-off-by: Rolf Eike Beer  sf-mail.de>
Signed-off-by: Sergei Trofimovich  gentoo.org>

 dev-libs/ppl/ppl-1.2.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.2.ebuild b/dev-libs/ppl/ppl-1.2.ebuild
index b137d4e9ad0..f312858082b 100644
--- a/dev-libs/ppl/ppl-1.2.ebuild
+++ b/dev-libs/ppl/ppl-1.2.ebuild
@@ -9,7 +9,7 @@ 
SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz
 
 LICENSE="GPL-3"
 SLOT="0/4.14" # SONAMEs
-KEYWORDS="~alpha amd64 arm ~arm64 hppa ~ia64 ~m68k ~mips ppc ppc64 ~s390 sparc 
x86 ~amd64-linux ~sparc-solaris"
+KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ppc64 ~s390 
sparc x86 ~amd64-linux ~sparc-solaris"
 IUSE="+cxx doc lpsol pch static-libs test"
 
 RDEPEND=">=dev-libs/gmp-6[cxx]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2020-04-01 Thread Sergei Trofimovich

commit: 91eec53c4a748b152c9f3dfe69edef6b4b4682dd
Author: Sergei Trofimovich  gentoo  org>
AuthorDate: Wed Apr  1 20:49:12 2020 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Wed Apr  1 21:14:08 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=91eec53c

dev-libs/ppl: drop old

Package-Manager: Portage-2.3.96, Repoman-2.3.22
Signed-off-by: Sergei Trofimovich  gentoo.org>

 dev-libs/ppl/Manifest   |  1 -
 dev-libs/ppl/ppl-1.1.ebuild | 60 -
 2 files changed, 61 deletions(-)

diff --git a/dev-libs/ppl/Manifest b/dev-libs/ppl/Manifest
index 7d13cd57111..4fbf613da60 100644
--- a/dev-libs/ppl/Manifest
+++ b/dev-libs/ppl/Manifest
@@ -1,2 +1 @@
-DIST ppl-1.1.tar.xz 14734820 BLAKE2B 
2c96d86b534c7f06569bfe37d0ca1938b0c7c708b38d62e210d868db005275e392b2cc9e6dded7d4a5bf1e901136c298b0ff86d2933dc89b4607d5ef9e286b86
 SHA512 
ae0503fb3eac494fa3edf5d5c9ec61e2419e6e2fa57d30323f7d0360ff080b033686410c7462f5b2ff5514803451cb91e9c0fc14cf953485c5f5fd664448cc27
 DIST ppl-1.2.tar.xz 14136236 BLAKE2B 
060b73384dac558dc8b2b0f1027ed0aa270b0adf0992c2ca1a281fa7bcdf959cba3a9e8ee29e978d12c3eee606b819075c5bcab59f4aed24fbf1c5512b5e2c36
 SHA512 
b509ed85fa6aedd40119bd4c980b17f33072c56c2acd923da3445b6bc80d48051cfa4c04cce96f6974711f5279c24b31cb3869f87b2eb6a2a1b30a058c809350

diff --git a/dev-libs/ppl/ppl-1.1.ebuild b/dev-libs/ppl/ppl-1.1.ebuild
deleted file mode 100644
index dd84d6c337c..000
--- a/dev-libs/ppl/ppl-1.1.ebuild
+++ /dev/null
@@ -1,60 +0,0 @@
-# Copyright 1999-2020 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="5"
-
-DESCRIPTION="The Parma Polyhedra Library for numerical 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 m68k ~mips ppc ppc64 s390 sparc 
x86 ~amd64-linux ~sparc-solaris"
-IUSE="+cxx doc lpsol pch static-libs test"
-
-RDEPEND=">=dev-libs/gmp-6[cxx]
-   lpsol? ( sci-mathematics/glpk )"
-DEPEND="${RDEPEND}
-   app-arch/xz-utils
-   sys-devel/m4"
-
-RESTRICT="!test? ( test )"
-
-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
-}

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2019-11-10 Thread Sergei Trofimovich

commit: 15fb9f9e988a1b20817dcb6c03df89f5364ade29
Author: Sergei Trofimovich  gentoo  org>
AuthorDate: Sun Nov 10 20:49:44 2019 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Sun Nov 10 20:54:57 2019 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=15fb9f9e

dev-libs/ppl: drop old dev-libs/cloog-ppl blocker

Package-Manager: Portage-2.3.79, Repoman-2.3.18
Signed-off-by: Sergei Trofimovich  gentoo.org>

 dev-libs/ppl/ppl-1.1.ebuild | 5 ++---
 dev-libs/ppl/ppl-1.2.ebuild | 5 ++---
 2 files changed, 4 insertions(+), 6 deletions(-)

diff --git a/dev-libs/ppl/ppl-1.1.ebuild b/dev-libs/ppl/ppl-1.1.ebuild
index fa6ffdcc1e6..a443656d124 100644
--- a/dev-libs/ppl/ppl-1.1.ebuild
+++ b/dev-libs/ppl/ppl-1.1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2018 Gentoo Foundation
+# Copyright 1999-2019 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI="5"
@@ -13,8 +13,7 @@ KEYWORDS="alpha amd64 arm ~arm64 hppa ia64 m68k ~mips ppc 
ppc64 s390 sh sparc x8
 IUSE="+cxx doc lpsol pch static-libs test"
 
 RDEPEND=">=dev-libs/gmp-6[cxx]
-   lpsol? ( sci-mathematics/glpk )
-   !dev-libs/cloog-ppl"
+   lpsol? ( sci-mathematics/glpk )"
 DEPEND="${RDEPEND}
app-arch/xz-utils
sys-devel/m4"

diff --git a/dev-libs/ppl/ppl-1.2.ebuild b/dev-libs/ppl/ppl-1.2.ebuild
index 7b7669adc3b..477400834e8 100644
--- a/dev-libs/ppl/ppl-1.2.ebuild
+++ b/dev-libs/ppl/ppl-1.2.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2018 Gentoo Foundation
+# Copyright 1999-2019 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI="5"
@@ -13,8 +13,7 @@ KEYWORDS="alpha amd64 arm ~arm64 hppa ia64 ~m68k ~mips ppc 
ppc64 ~s390 ~sh sparc
 IUSE="+cxx doc lpsol pch static-libs test"
 
 RDEPEND=">=dev-libs/gmp-6[cxx]
-   lpsol? ( sci-mathematics/glpk )
-   !dev-libs/cloog-ppl"
+   lpsol? ( sci-mathematics/glpk )"
 DEPEND="${RDEPEND}
app-arch/xz-utils
sys-devel/m4"

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2019-11-10 Thread Sergei Trofimovich

commit: 3867c27d8e82a8037163d7447fd138763cd4d218
Author: Sergei Trofimovich  gentoo  org>
AuthorDate: Sun Nov 10 20:50:28 2019 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Sun Nov 10 20:54:58 2019 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3867c27d

dev-libs/ppl: add RESTRICT="!test? ( test )"

Package-Manager: Portage-2.3.79, Repoman-2.3.18
Signed-off-by: Sergei Trofimovich  gentoo.org>

 dev-libs/ppl/ppl-1.1.ebuild | 2 ++
 dev-libs/ppl/ppl-1.2.ebuild | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/dev-libs/ppl/ppl-1.1.ebuild b/dev-libs/ppl/ppl-1.1.ebuild
index a443656d124..2808c73b96a 100644
--- a/dev-libs/ppl/ppl-1.1.ebuild
+++ b/dev-libs/ppl/ppl-1.1.ebuild
@@ -18,6 +18,8 @@ DEPEND="${RDEPEND}
app-arch/xz-utils
sys-devel/m4"
 
+RESTRICT="!test? ( test )"
+
 pkg_setup() {
if use test ; then
ewarn "The PPL testsuite will be run."

diff --git a/dev-libs/ppl/ppl-1.2.ebuild b/dev-libs/ppl/ppl-1.2.ebuild
index 477400834e8..8805f55b2ea 100644
--- a/dev-libs/ppl/ppl-1.2.ebuild
+++ b/dev-libs/ppl/ppl-1.2.ebuild
@@ -18,6 +18,8 @@ DEPEND="${RDEPEND}
app-arch/xz-utils
sys-devel/m4"
 
+RESTRICT="!test? ( test )"
+
 pkg_setup() {
if use test ; then
ewarn "The PPL testsuite will be run."

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2019-11-10 Thread Sergei Trofimovich

commit: 745eacdcb368d7b4ddbe12fd00e6f97161b0db42
Author: Sergei Trofimovich  gentoo  org>
AuthorDate: Sun Nov 10 20:54:39 2019 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Sun Nov 10 20:54:59 2019 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=745eacdc

dev-libs/ppl: bump up to EAPI=7

Package-Manager: Portage-2.3.79, Repoman-2.3.18
Signed-off-by: Sergei Trofimovich  gentoo.org>

 dev-libs/ppl/ppl-1.2-r1.ebuild | 47 ++
 1 file changed, 47 insertions(+)

diff --git a/dev-libs/ppl/ppl-1.2-r1.ebuild b/dev-libs/ppl/ppl-1.2-r1.ebuild
new file mode 100644
index 000..f522c2384bc
--- /dev/null
+++ b/dev-libs/ppl/ppl-1.2-r1.ebuild
@@ -0,0 +1,47 @@
+# Copyright 1999-2019 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="7"
+
+DESCRIPTION="The Parma Polyhedra Library for numerical 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.14" # SONAMEs
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~s390 
~sh ~sparc ~x86 ~amd64-linux ~sparc-solaris"
+IUSE="+cxx doc lpsol pch static-libs test"
+
+RDEPEND=">=dev-libs/gmp-6[cxx]
+   lpsol? ( sci-mathematics/glpk )"
+DEPEND="${RDEPEND}
+   app-arch/xz-utils
+   sys-devel/m4"
+
+RESTRICT="!test? ( test )"
+
+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_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
+}

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2018-05-12 Thread Mart Raudsepp

commit: f2cfe8a6f5175214453c9a5df2ccb8881fc633a1
Author: Mart Raudsepp  gentoo  org>
AuthorDate: Sat May 12 10:26:11 2018 +
Commit: Mart Raudsepp  gentoo  org>
CommitDate: Sat May 12 10:26:11 2018 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f2cfe8a6

dev-libs/ppl: drop to ~arm64

Only sci-mathematics/polymake uses this, and we don't have that even
~arm64 keyworded, so drop unnecessary ppl from stable instead of
catching up in version with other architectures.

Package-Manager: Portage-2.3.28, Repoman-2.3.9

 dev-libs/ppl/ppl-1.1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.1.ebuild b/dev-libs/ppl/ppl-1.1.ebuild
index 37401f95c3c..1aa44fbb4e1 100644
--- a/dev-libs/ppl/ppl-1.1.ebuild
+++ b/dev-libs/ppl/ppl-1.1.ebuild
@@ -9,7 +9,7 @@ 
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 m68k ~mips ppc ppc64 s390 sh sparc 
x86 ~amd64-fbsd ~x86-fbsd ~amd64-linux ~sparc-solaris"
+KEYWORDS="alpha amd64 arm ~arm64 hppa ia64 m68k ~mips ppc ppc64 s390 sh sparc 
x86 ~amd64-fbsd ~x86-fbsd ~amd64-linux ~sparc-solaris"
 IUSE="+cxx doc lpsol pch static-libs test"
 
 RDEPEND=">=dev-libs/gmp-6[cxx]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/files/, dev-libs/ppl/

2017-12-02 Thread David Seifert

commit: bf4d3d3ff9bceda4ecc2f4a9801fd9ca628bde85
Author: Harri Nieminen  gmail  com>
AuthorDate: Fri Dec  1 17:51:55 2017 +
Commit: David Seifert  gentoo  org>
CommitDate: Sat Dec  2 13:02:47 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bf4d3d3f

dev-libs/ppl: Remove old EAPI3

Package-Manager: Portage-2.3.16, Repoman-2.3.6
Closes: https://github.com/gentoo/gentoo/pull/6384

 dev-libs/ppl/Manifest  |  1 -
 dev-libs/ppl/files/ppl-fix-gmp-5.1.0.patch | 41 ---
 dev-libs/ppl/ppl-0.12.1-r1.ebuild  | 83 --
 3 files changed, 125 deletions(-)

diff --git a/dev-libs/ppl/Manifest b/dev-libs/ppl/Manifest
index c5bffa1d1e0..336be24d378 100644
--- a/dev-libs/ppl/Manifest
+++ b/dev-libs/ppl/Manifest
@@ -1,3 +1,2 @@
-DIST ppl-0.12.1.tar.bz2 14938132 SHA256 
4022e54772f81c8ef66d3dd4c3d8dca48f72f9af614d8a36d05fbf5917f2b198 SHA512 
e8a4c92271f608e79c5828c71ff2d36c681dd4bd48b5d31353b2a27bcf827a5cb8f0dcdfee3e13cf9f202f35a7693ddf9880dc4d5b8445ec558cef1319f43925
 WHIRLPOOL 
6616253d5c02c84294ec63e0601fa7bc65772fc72e6cea68f1300fa2b46f551311589813268d8e869cb59295d8fdc5be17a5b3d0cbb7b62fe0bc06a8bf9e1f39
 DIST ppl-1.1.tar.xz 14734820 SHA256 
c48ccd74664ec2cd3cdb5e37f287974ccb062f0384dc658d4053c424b19ad178 SHA512 
ae0503fb3eac494fa3edf5d5c9ec61e2419e6e2fa57d30323f7d0360ff080b033686410c7462f5b2ff5514803451cb91e9c0fc14cf953485c5f5fd664448cc27
 WHIRLPOOL 
d1b85fe9b44195f7fdc0573b32291a70183ce9de5e29fbb502a5d181a6e0ae11998dd5cfb52ec7ce3e1aed36433a823484488bfaf93362ac3b45a7556a2e9b6a
 DIST ppl-1.2.tar.xz 14136236 SHA256 
691f0d5a4fb0e206f4e132fc9132c71d6e33cdda168470d40ac3cf62340e9a60 SHA512 
b509ed85fa6aedd40119bd4c980b17f33072c56c2acd923da3445b6bc80d48051cfa4c04cce96f6974711f5279c24b31cb3869f87b2eb6a2a1b30a058c809350
 WHIRLPOOL 
cf2d5895d7d740c650707840caadd45d785411875b1c55db141928a288a1475f50d4f1e6ac829062ab021a920e9581be7822679e9cf2ea11dc64ac70cfa2e5dd

diff --git a/dev-libs/ppl/files/ppl-fix-gmp-5.1.0.patch 
b/dev-libs/ppl/files/ppl-fix-gmp-5.1.0.patch
deleted file mode 100644
index ff2423e93c7..000
--- a/dev-libs/ppl/files/ppl-fix-gmp-5.1.0.patch
+++ /dev/null
@@ -1,41 +0,0 @@
 src/p_std_bits.cc.org  2012-12-30 00:37:03.033948083 +0100
-+++ src/mp_std_bits.cc 2012-12-30 00:44:12.893019313 +0100
-@@ -25,6 +25,9 @@
- #include "ppl-config.h"
- #include "mp_std_bits.defs.hh"
- 
-+#if __GNU_MP_VERSION < 5 \
-+  || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
-+
- const bool std::numeric_limits::is_specialized;
- const int std::numeric_limits::digits;
- const int std::numeric_limits::digits10;
-@@ -70,3 +73,6 @@
- const bool std::numeric_limits::traps;
- const bool std::numeric_limits::tininess_before;
- const std::float_round_style std::numeric_limits::round_style;
-+
-+#endif // __GNU_MP_VERSION < 5
-+   // || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
 src/mp_std_bits.defs.hh.org2012-12-30 00:37:03.037948187 +0100
-+++ src/mp_std_bits.defs.hh2012-12-30 00:42:32.002424189 +0100
-@@ -38,6 +38,9 @@
- #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
- void swap(mpq_class& x, mpq_class& y);
- 
-+#if __GNU_MP_VERSION < 5 \
-+  || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
-+
- namespace std {
- 
- #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
-@@ -164,6 +167,9 @@
- 
- } // namespace std
- 
-+#endif // __GNU_MP_VERSION < 5
-+   // || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1)
-+
- #include "mp_std_bits.inlines.hh"
- 
- #endif // !defined(PPL_mp_std_bits_defs_hh)

diff --git a/dev-libs/ppl/ppl-0.12.1-r1.ebuild 
b/dev-libs/ppl/ppl-0.12.1-r1.ebuild
deleted file mode 100644
index 630398ef0c2..000
--- a/dev-libs/ppl/ppl-0.12.1-r1.ebuild
+++ /dev/null
@@ -1,83 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="3"
-
-inherit eutils
-
-DESCRIPTION="The Parma Polyhedra Library for numerical analysis of complex 
systems"
-HOMEPAGE="http://bugseng.com/products/ppl;
-SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.bz2;
-
-LICENSE="GPL-3"
-SLOT="0"
-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="doc lpsol pch static-libs test"
-
-RDEPEND=">=dev-libs/gmp-4.1.3[cxx]
-   lpsol? ( <=sci-mathematics/glpk-4.48 )
-   ! /dev/null; then
-   emake check || die "tests failed"
-   fi
-}
-
-src_install() {
-   emake DESTDIR="${D}" install || die
-   use static-libs || rm -f "${D}"/usr/lib*/libppl*.la
-
-   local docsdir="${ED}/usr/share/doc/${PF}"
-   rm "${docsdir}"/gpl* "${docsdir}"/fdl* || die
-
-   if ! use doc; then
-   rm -r "${docsdir}"/*-html/ || die
-   fi
-
-   dodoc NEWS README* STANDARDS TODO
-}
-
-pkg_postinst() {
-   echo
-   ewarn "After an upgrade of PPL it

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2017-10-24 Thread Andreas Hüttel

commit: 7c9e5e3563588d849b0081d363b35a4ea72175e8
Author: Andreas K. Hüttel  gentoo  org>
AuthorDate: Tue Oct 24 22:49:29 2017 +
Commit: Andreas Hüttel  gentoo  org>
CommitDate: Tue Oct 24 22:49:29 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7c9e5e35

dev-libs/ppl: stable for x86, bug 632277

All tests pass. Last arch, closing.

Closes: https://bugs.gentoo.org/632277
Package-Manager: Portage-2.3.12, Repoman-2.3.3

 dev-libs/ppl/ppl-1.2.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.2.ebuild b/dev-libs/ppl/ppl-1.2.ebuild
index 7368ee2d43c..e8ab746f722 100644
--- a/dev-libs/ppl/ppl-1.2.ebuild
+++ b/dev-libs/ppl/ppl-1.2.ebuild
@@ -9,7 +9,7 @@ 
SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz
 
 LICENSE="GPL-3"
 SLOT="0/4.14" # SONAMEs
-KEYWORDS="alpha amd64 arm ~arm64 hppa ia64 ~m68k ~mips ppc ppc64 ~s390 ~sh 
sparc ~x86 ~amd64-fbsd ~sparc-fbsd ~x86-fbsd ~amd64-linux ~sparc-solaris"
+KEYWORDS="alpha amd64 arm ~arm64 hppa ia64 ~m68k ~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-6[cxx]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2017-10-24 Thread Manuel Rüger

commit: ace71adf066aa9a912d6e0e9377c81a20ae5584e
Author: Manuel Rüger  gentoo  org>
AuthorDate: Tue Oct 24 15:05:33 2017 +
Commit: Manuel Rüger  gentoo  org>
CommitDate: Tue Oct 24 15:05:33 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ace71adf

dev-libs/ppl: Stable on amd64

Package-Manager: Portage-2.3.12, Repoman-2.3.3

 dev-libs/ppl/ppl-1.2.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.2.ebuild b/dev-libs/ppl/ppl-1.2.ebuild
index ce2531ff012..7368ee2d43c 100644
--- a/dev-libs/ppl/ppl-1.2.ebuild
+++ b/dev-libs/ppl/ppl-1.2.ebuild
@@ -9,7 +9,7 @@ 
SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz
 
 LICENSE="GPL-3"
 SLOT="0/4.14" # SONAMEs
-KEYWORDS="alpha ~amd64 arm ~arm64 hppa ia64 ~m68k ~mips ppc ppc64 ~s390 ~sh 
sparc ~x86 ~amd64-fbsd ~sparc-fbsd ~x86-fbsd ~amd64-linux ~sparc-solaris"
+KEYWORDS="alpha amd64 arm ~arm64 hppa ia64 ~m68k ~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-6[cxx]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2017-10-23 Thread Markus Meier

commit: afbcb2c5a3df9f37767a2859b9718c1d5259c926
Author: Markus Meier  gentoo  org>
AuthorDate: Mon Oct 23 17:58:23 2017 +
Commit: Markus Meier  gentoo  org>
CommitDate: Mon Oct 23 17:58:23 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=afbcb2c5

dev-libs/ppl: arm stable, bug #632277

Package-Manager: Portage-2.3.8, Repoman-2.3.3
RepoMan-Options: --include-arches="arm"

 dev-libs/ppl/ppl-1.2.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.2.ebuild b/dev-libs/ppl/ppl-1.2.ebuild
index c870f44cd23..ce2531ff012 100644
--- a/dev-libs/ppl/ppl-1.2.ebuild
+++ b/dev-libs/ppl/ppl-1.2.ebuild
@@ -9,7 +9,7 @@ 
SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz
 
 LICENSE="GPL-3"
 SLOT="0/4.14" # SONAMEs
-KEYWORDS="alpha ~amd64 ~arm ~arm64 hppa ia64 ~m68k ~mips ppc ppc64 ~s390 ~sh 
sparc ~x86 ~amd64-fbsd ~sparc-fbsd ~x86-fbsd ~amd64-linux ~sparc-solaris"
+KEYWORDS="alpha ~amd64 arm ~arm64 hppa ia64 ~m68k ~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-6[cxx]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2017-10-21 Thread Tobias Klausmann

commit: 764df2826a6ee247877033eba98e05024e9640b3
Author: Tobias Klausmann  gentoo  org>
AuthorDate: Sat Oct 21 12:56:59 2017 +
Commit: Tobias Klausmann  gentoo  org>
CommitDate: Sat Oct 21 13:25:04 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=764df282

dev-libs/ppl-1.2-r0: alpha stable

Gentoo-Bug: http://bugs.gentoo.org/632277

 dev-libs/ppl/ppl-1.2.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.2.ebuild b/dev-libs/ppl/ppl-1.2.ebuild
index 380286115b3..c870f44cd23 100644
--- a/dev-libs/ppl/ppl-1.2.ebuild
+++ b/dev-libs/ppl/ppl-1.2.ebuild
@@ -9,7 +9,7 @@ 
SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz
 
 LICENSE="GPL-3"
 SLOT="0/4.14" # SONAMEs
-KEYWORDS="~alpha ~amd64 ~arm ~arm64 hppa ia64 ~m68k ~mips ppc ppc64 ~s390 ~sh 
sparc ~x86 ~amd64-fbsd ~sparc-fbsd ~x86-fbsd ~amd64-linux ~sparc-solaris"
+KEYWORDS="alpha ~amd64 ~arm ~arm64 hppa ia64 ~m68k ~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-6[cxx]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2017-10-14 Thread Sergei Trofimovich

commit: 491a0107eef3ab746d57bc15ae5db85b80604ce6
Author: Sergei Trofimovich  gentoo  org>
AuthorDate: Sat Oct 14 10:21:35 2017 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Sat Oct 14 10:21:35 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=491a0107

dev-libs/ppl: stable 1.2 for hppa, bug #632277 (thanks to Rolf Eike Beer)

Package-Manager: Portage-2.3.10, Repoman-2.3.3
RepoMan-Options: --include-arches="hppa"

 dev-libs/ppl/ppl-1.2.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.2.ebuild b/dev-libs/ppl/ppl-1.2.ebuild
index 9f7fbabd4c9..380286115b3 100644
--- a/dev-libs/ppl/ppl-1.2.ebuild
+++ b/dev-libs/ppl/ppl-1.2.ebuild
@@ -9,7 +9,7 @@ 
SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz
 
 LICENSE="GPL-3"
 SLOT="0/4.14" # SONAMEs
-KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ia64 ~m68k ~mips ppc ppc64 ~s390 ~sh 
sparc ~x86 ~amd64-fbsd ~sparc-fbsd ~x86-fbsd ~amd64-linux ~sparc-solaris"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 hppa ia64 ~m68k ~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-6[cxx]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2017-10-02 Thread Sergei Trofimovich

commit: 9d497c15da3692a215e4f7374ea8f0047d4a2fa9
Author: Sergei Trofimovich  gentoo  org>
AuthorDate: Mon Oct  2 11:58:33 2017 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Mon Oct  2 11:58:33 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9d497c15

dev-libs/ppl: stable 1.2 for ppc/ppc64, bug #632277

Package-Manager: Portage-2.3.10, Repoman-2.3.3
RepoMan-Options: --include-arches="ppc ppc64"

 dev-libs/ppl/ppl-1.2.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.2.ebuild b/dev-libs/ppl/ppl-1.2.ebuild
index f34952751e5..9f7fbabd4c9 100644
--- a/dev-libs/ppl/ppl-1.2.ebuild
+++ b/dev-libs/ppl/ppl-1.2.ebuild
@@ -9,7 +9,7 @@ 
SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz
 
 LICENSE="GPL-3"
 SLOT="0/4.14" # SONAMEs
-KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ia64 ~m68k ~mips ~ppc ~ppc64 ~s390 
~sh sparc ~x86 ~amd64-fbsd ~sparc-fbsd ~x86-fbsd ~amd64-linux ~sparc-solaris"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ia64 ~m68k ~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-6[cxx]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2017-09-30 Thread Sergei Trofimovich

commit: 3e9834e1f144c2b01f209c59412b75aaafe13a63
Author: Sergei Trofimovich  gentoo  org>
AuthorDate: Sat Sep 30 07:18:13 2017 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Sat Sep 30 07:18:13 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3e9834e1

dev-libs/ppl: stable 1.2 for ia64, bug #632277

Package-Manager: Portage-2.3.10, Repoman-2.3.3
RepoMan-Options: --include-arches="ia64"

 dev-libs/ppl/ppl-1.2.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.2.ebuild b/dev-libs/ppl/ppl-1.2.ebuild
index 4fd748d76fc..f34952751e5 100644
--- a/dev-libs/ppl/ppl-1.2.ebuild
+++ b/dev-libs/ppl/ppl-1.2.ebuild
@@ -9,7 +9,7 @@ 
SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz
 
 LICENSE="GPL-3"
 SLOT="0/4.14" # SONAMEs
-KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~s390 
~sh sparc ~x86 ~amd64-fbsd ~sparc-fbsd ~x86-fbsd ~amd64-linux ~sparc-solaris"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ia64 ~m68k ~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-6[cxx]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2017-09-29 Thread Sergei Trofimovich

commit: 2d93e5d1d2e0ed39c38d93c024757b0b09e4e4ce
Author: Sergei Trofimovich  gentoo  org>
AuthorDate: Sat Sep 30 02:57:05 2017 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Sat Sep 30 02:58:30 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2d93e5d1

dev-libs/ppl: stable 1.2 for sparc, bug #632277 (thanks to Rolf Eike Beer)

Package-Manager: Portage-2.3.10, Repoman-2.3.3
RepoMan-Options: --include-arches="sparc"

 dev-libs/ppl/ppl-1.2.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.2.ebuild b/dev-libs/ppl/ppl-1.2.ebuild
index 7be1edea9a6..4fd748d76fc 100644
--- a/dev-libs/ppl/ppl-1.2.ebuild
+++ b/dev-libs/ppl/ppl-1.2.ebuild
@@ -9,7 +9,7 @@ 
SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz
 
 LICENSE="GPL-3"
 SLOT="0/4.14" # SONAMEs
-KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~s390 
~sh ~sparc ~x86 ~amd64-fbsd ~sparc-fbsd ~x86-fbsd ~amd64-linux ~sparc-solaris"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~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-6[cxx]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2016-12-07 Thread Mike Frysinger

commit: 6ded57963f5dd2e392b6b3085c95269ac1e170d3
Author: Mike Frysinger  gentoo  org>
AuthorDate: Thu Dec  8 04:40:53 2016 +
Commit: Mike Frysinger  gentoo  org>
CommitDate: Thu Dec  8 04:41:58 2016 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6ded5796

dev-libs/ppl: version bump to 1.2 #601156

 dev-libs/ppl/Manifest   |  1 +
 dev-libs/ppl/ppl-1.2.ebuild | 59 +
 2 files changed, 60 insertions(+)

diff --git a/dev-libs/ppl/Manifest b/dev-libs/ppl/Manifest
index fcf76d3..c5bffa1 100644
--- a/dev-libs/ppl/Manifest
+++ b/dev-libs/ppl/Manifest
@@ -1,2 +1,3 @@
 DIST ppl-0.12.1.tar.bz2 14938132 SHA256 
4022e54772f81c8ef66d3dd4c3d8dca48f72f9af614d8a36d05fbf5917f2b198 SHA512 
e8a4c92271f608e79c5828c71ff2d36c681dd4bd48b5d31353b2a27bcf827a5cb8f0dcdfee3e13cf9f202f35a7693ddf9880dc4d5b8445ec558cef1319f43925
 WHIRLPOOL 
6616253d5c02c84294ec63e0601fa7bc65772fc72e6cea68f1300fa2b46f551311589813268d8e869cb59295d8fdc5be17a5b3d0cbb7b62fe0bc06a8bf9e1f39
 DIST ppl-1.1.tar.xz 14734820 SHA256 
c48ccd74664ec2cd3cdb5e37f287974ccb062f0384dc658d4053c424b19ad178 SHA512 
ae0503fb3eac494fa3edf5d5c9ec61e2419e6e2fa57d30323f7d0360ff080b033686410c7462f5b2ff5514803451cb91e9c0fc14cf953485c5f5fd664448cc27
 WHIRLPOOL 
d1b85fe9b44195f7fdc0573b32291a70183ce9de5e29fbb502a5d181a6e0ae11998dd5cfb52ec7ce3e1aed36433a823484488bfaf93362ac3b45a7556a2e9b6a
+DIST ppl-1.2.tar.xz 14136236 SHA256 
691f0d5a4fb0e206f4e132fc9132c71d6e33cdda168470d40ac3cf62340e9a60 SHA512 
b509ed85fa6aedd40119bd4c980b17f33072c56c2acd923da3445b6bc80d48051cfa4c04cce96f6974711f5279c24b31cb3869f87b2eb6a2a1b30a058c809350
 WHIRLPOOL 
cf2d5895d7d740c650707840caadd45d785411875b1c55db141928a288a1475f50d4f1e6ac829062ab021a920e9581be7822679e9cf2ea11dc64ac70cfa2e5dd

diff --git a/dev-libs/ppl/ppl-1.2.ebuild b/dev-libs/ppl/ppl-1.2.ebuild
new file mode 100644
index ..fff33e2
--- /dev/null
+++ b/dev-libs/ppl/ppl-1.2.ebuild
@@ -0,0 +1,59 @@
+# Copyright 1999-2016 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+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.14" # SONAMEs
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~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-6[cxx]
+   lpsol? ( sci-mathematics/glpk )
+   !dev-libs/cloog-ppl"
+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
+}

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2016-02-01 Thread Tobias Klausmann

commit: 46c1f3a41ff9f4360920d78e271532d84c81dcdf
Author: Tobias Klausmann  gentoo  org>
AuthorDate: Mon Feb  1 15:40:47 2016 +
Commit: Tobias Klausmann  gentoo  org>
CommitDate: Mon Feb  1 15:41:01 2016 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=46c1f3a4

dev-libs/ppl: add alpha keyword

Gentoo-Bug: 562068

Package-Manager: portage-2.2.27

 dev-libs/ppl/ppl-1.1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.1.ebuild b/dev-libs/ppl/ppl-1.1.ebuild
index 8793f9d..ad1385d 100644
--- a/dev-libs/ppl/ppl-1.1.ebuild
+++ b/dev-libs/ppl/ppl-1.1.ebuild
@@ -10,7 +10,7 @@ 
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 m68k ~mips ppc ppc64 s390 sh sparc 
x86 ~amd64-fbsd ~sparc-fbsd ~x86-fbsd ~amd64-linux ~sparc-solaris"
+KEYWORDS="alpha amd64 arm arm64 hppa ia64 m68k ~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-6[cxx]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2015-10-25 Thread Markus Meier

commit: 1d862e1fc7ea4a9f408b2b1cd0346e7c1c1755bf
Author: Markus Meier  gentoo  org>
AuthorDate: Sun Oct 25 19:15:18 2015 +
Commit: Markus Meier  gentoo  org>
CommitDate: Sun Oct 25 19:15:18 2015 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1d862e1f

dev-libs/ppl: arm stable, bug #562068

Package-Manager: portage-2.2.23
RepoMan-Options: --include-arches="arm"

 dev-libs/ppl/ppl-1.1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.1.ebuild b/dev-libs/ppl/ppl-1.1.ebuild
index 63a8d22..8793f9d 100644
--- a/dev-libs/ppl/ppl-1.1.ebuild
+++ b/dev-libs/ppl/ppl-1.1.ebuild
@@ -10,7 +10,7 @@ 
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 m68k ~mips ppc ppc64 s390 sh sparc 
x86 ~amd64-fbsd ~sparc-fbsd ~x86-fbsd ~amd64-linux ~sparc-solaris"
+KEYWORDS="~alpha amd64 arm arm64 hppa ia64 m68k ~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-6[cxx]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2015-10-24 Thread Mike Frysinger

commit: 137df63332a450d9f0bbc54a45100e44917289ee
Author: Mike Frysinger  gentoo  org>
AuthorDate: Sat Oct 24 16:17:25 2015 +
Commit: Mike Frysinger  gentoo  org>
CommitDate: Sat Oct 24 16:18:35 2015 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=137df633

dev-libs/ppl: mark 1.1 arm64/ia64/m68k/s390/sh stable #562068

 dev-libs/ppl/ppl-1.1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.1.ebuild b/dev-libs/ppl/ppl-1.1.ebuild
index d73da14..63a8d22 100644
--- a/dev-libs/ppl/ppl-1.1.ebuild
+++ b/dev-libs/ppl/ppl-1.1.ebuild
@@ -10,7 +10,7 @@ 
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"
+KEYWORDS="~alpha amd64 ~arm arm64 hppa ia64 m68k ~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-6[cxx]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2015-10-10 Thread Mikle Kolyada

commit: 39d804ef8fcf33b1ccc39d4d294c706f233672d5
Author: Mikle Kolyada  gentoo  org>
AuthorDate: Sat Oct 10 15:31:02 2015 +
Commit: Mikle Kolyada  gentoo  org>
CommitDate: Sat Oct 10 15:31:42 2015 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=39d804ef

dev-libs/ppl: sparc stable wrt bug #562068

Package-Manager: portage-2.2.20.1

 dev-libs/ppl/ppl-1.1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.1.ebuild b/dev-libs/ppl/ppl-1.1.ebuild
index f56deff..d73da14 100644
--- a/dev-libs/ppl/ppl-1.1.ebuild
+++ b/dev-libs/ppl/ppl-1.1.ebuild
@@ -10,7 +10,7 @@ 
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"
+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-6[cxx]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2015-10-06 Thread Mikle Kolyada

commit: af79793f66f1d9fff16ba52d8ed1b1dab316e5ec
Author: Mikle Kolyada  gentoo  org>
AuthorDate: Tue Oct  6 13:30:09 2015 +
Commit: Mikle Kolyada  gentoo  org>
CommitDate: Tue Oct  6 13:30:09 2015 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=af79793f

dev-libs/ppl: x86 stable wrt bug #562068

Package-Manager: portage-2.2.20.1

 dev-libs/ppl/ppl-1.1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.1.ebuild b/dev-libs/ppl/ppl-1.1.ebuild
index d29fad3..f56deff 100644
--- a/dev-libs/ppl/ppl-1.1.ebuild
+++ b/dev-libs/ppl/ppl-1.1.ebuild
@@ -10,7 +10,7 @@ 
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"
+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-6[cxx]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2015-10-04 Thread Agostino Sarubbo

commit: 334d2410385dc229862caaf0c85409b6ac5d6879
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Sun Oct  4 09:42:12 2015 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Sun Oct  4 09:42:12 2015 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=334d2410

dev-libs/ppl: amd64 stable wrt bug #562068

Package-Manager: portage-2.2.20.1
RepoMan-Options: --include-arches="amd64"

 dev-libs/ppl/ppl-1.1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.1.ebuild b/dev-libs/ppl/ppl-1.1.ebuild
index c936794..d29fad3 100644
--- a/dev-libs/ppl/ppl-1.1.ebuild
+++ b/dev-libs/ppl/ppl-1.1.ebuild
@@ -10,7 +10,7 @@ 
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"
+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-6[cxx]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2015-10-03 Thread Anthony G. Basile

commit: 8bf4093fe3e7a7ec09db133d5d6e0d347855ad8b
Author: Anthony G. Basile  gentoo  org>
AuthorDate: Sat Oct  3 18:30:47 2015 +
Commit: Anthony G. Basile  gentoo  org>
CommitDate: Sat Oct  3 18:30:47 2015 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8bf4093f

dev-libs/ppl: 1.1 stable for ppc and ppc64.  bug #562068.

Package-Manager: portage-2.2.20.1

 dev-libs/ppl/ppl-1.1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.1.ebuild b/dev-libs/ppl/ppl-1.1.ebuild
index 70018ba..c936794 100644
--- a/dev-libs/ppl/ppl-1.1.ebuild
+++ b/dev-libs/ppl/ppl-1.1.ebuild
@@ -10,7 +10,7 @@ 
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"
+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-6[cxx]

[gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/

2015-10-03 Thread Jeroen Roovers

commit: 51b083633018884f896e25113e5e58ac52742162
Author: Jeroen Roovers  gentoo  org>
AuthorDate: Sat Oct  3 18:18:06 2015 +
Commit: Jeroen Roovers  gentoo  org>
CommitDate: Sat Oct  3 18:18:39 2015 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=51b08363

dev-libs/ppl: Stable for HPPA (bug #562068).

Package-Manager: portage-2.2.22
RepoMan-Options: --ignore-arches

 dev-libs/ppl/ppl-1.1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/ppl/ppl-1.1.ebuild b/dev-libs/ppl/ppl-1.1.ebuild
index 58a2abe..70018ba 100644
--- a/dev-libs/ppl/ppl-1.1.ebuild
+++ b/dev-libs/ppl/ppl-1.1.ebuild
@@ -10,7 +10,7 @@ 
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"
+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-6[cxx]

55 matches

Mail list logo