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

2024-03-04 Thread Sam James
commit: c12a08bb2658f036be64b2f63dbc3aefb09b8977
Author: Sam James  gentoo  org>
AuthorDate: Mon Mar  4 12:00:42 2024 +
Commit: Sam James  gentoo  org>
CommitDate: Mon Mar  4 12:00:42 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c12a08bb

dev-libs/isl: drop 0.24-r2

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

 dev-libs/isl/Manifest|  1 -
 dev-libs/isl/files/isl-0.24-nobash.patch | 35 --
 dev-libs/isl/isl-0.24-r2.ebuild  | 80 
 3 files changed, 116 deletions(-)

diff --git a/dev-libs/isl/Manifest b/dev-libs/isl/Manifest
index dd9493e045cc..0d86e71006ab 100644
--- a/dev-libs/isl/Manifest
+++ b/dev-libs/isl/Manifest
@@ -1,2 +1 @@
-DIST isl-0.24.tar.xz 1930956 BLAKE2B 
39cbfd18ad05778e3a5a44429261b45e4abc3efe7730ee890674d968890fe5e52c73bc1f8d271c7c3bc72d5754e3f7fcb209bd139e823d19cb9ea4ce1440164d
 SHA512 
ff6bdcff839e1cd473f2a0c1e4dd4a3612ec6fee4544ccbc62b530a7248db2cf93b4b99bf493a86ddf2aba00e768927265d5d411f92061ea85fd7929073428e8
 DIST isl-0.26.tar.xz 2035560 BLAKE2B 
2cfe2e0774a991d2385e66f58490c5454382cabc82d74eb4bbe5a603293b7bdc34ca3b087f0884f9da319c447747edc76275ecaf2f171237939f9c7d3c52ced7
 SHA512 
9b5ec16d14e48f9ac9bf9cd379d3022959cfc617ade9e0d4caf2862299564fecba09d67dbdf1a4071f2f743a4fd0fabd0b0c3d15f5cddfe7226cdd5d6c2a0c66

diff --git a/dev-libs/isl/files/isl-0.24-nobash.patch 
b/dev-libs/isl/files/isl-0.24-nobash.patch
deleted file mode 100644
index 226daa551c70..
--- a/dev-libs/isl/files/isl-0.24-nobash.patch
+++ /dev/null
@@ -1,35 +0,0 @@
-Fix-by: Matt Whitlock
-Bug: https://bugs.gentoo.org/786564
 a/configure.ac 2020-11-01 13:53:47.0 +
-+++ b/configure.ac 2021-04-28 19:34:28.615119537 +
-@@ -83,8 +83,8 @@
- AM_CONDITIONAL(GMP_FOR_MP, test x$with_int = xgmp)
- 
- AM_CONDITIONAL(HAVE_CXX11, test "x$HAVE_CXX11" = "x1")
--AM_CONDITIONAL(SMALL_INT_OPT, test "x$with_int" == "ximath-32")
--AS_IF([test "x$with_int" == "ximath-32"], [
-+AM_CONDITIONAL(SMALL_INT_OPT, test "x$with_int" = "ximath-32")
-+AS_IF([test "x$with_int" = "ximath-32"], [
-   AC_DEFINE([USE_SMALL_INT_OPT], [], [Use small integer optimization])
- ])
- 
 a/configure2020-11-01 13:53:55.0 +
-+++ b/configure2021-04-28 19:34:29.246125644 +
-@@ -20654,7 +20654,7 @@
-   HAVE_CXX11_FALSE=
- fi
- 
-- if test "x$with_int" == "ximath-32"; then
-+ if test "x$with_int" = "ximath-32"; then
-   SMALL_INT_OPT_TRUE=
-   SMALL_INT_OPT_FALSE='#'
- else
-@@ -20662,7 +20662,7 @@
-   SMALL_INT_OPT_FALSE=
- fi
- 
--if test "x$with_int" == "ximath-32"; then :
-+if test "x$with_int" = "ximath-32"; then :
- 
- 
- $as_echo "#define USE_SMALL_INT_OPT /**/" >>confdefs.h

diff --git a/dev-libs/isl/isl-0.24-r2.ebuild b/dev-libs/isl/isl-0.24-r2.ebuild
deleted file mode 100644
index 05ac91099cd5..
--- a/dev-libs/isl/isl-0.24-r2.ebuild
+++ /dev/null
@@ -1,80 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-inherit autotools multilib multilib-minimal preserve-libs toolchain-funcs
-
-DESCRIPTION="A library for manipulating integer points bounded by linear 
constraints"
-HOMEPAGE="http://isl.gforge.inria.fr/ https://libisl.sourceforge.io/;
-SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz 
https://libisl.sourceforge.io/${P}.tar.xz;
-
-LICENSE="LGPL-2.1"
-SLOT="0/23"
-KEYWORDS="~alpha amd64 arm arm64 ~hppa ~ia64 ~loong ~m68k ~mips ppc ppc64 
~riscv ~s390 sparc x86 ~ppc-macos ~x64-macos ~x64-solaris"
-IUSE="static-libs"
-
-RDEPEND=">=dev-libs/gmp-5.1.3-r1:=[${MULTILIB_USEDEP}]"
-DEPEND="${RDEPEND}"
-BDEPEND="
-   app-arch/xz-utils
-   virtual/pkgconfig"
-
-DOCS=( ChangeLog AUTHORS doc/manual.pdf )
-
-PATCHES=(
-   "${FILESDIR}"/${PN}-0.24-gdb-autoload-dir.patch
-   "${FILESDIR}"/${PN}-0.24-nobash.patch
-   "${FILESDIR}"/${PN}-0.24-respect-flags.patch
-)
-
-src_prepare() {
-   default
-
-   eautoreconf
-}
-
-multilib_src_configure() {
-   local econf_opts=(
-   $(use_enable static-libs static)
-
-   # AX_PROG_CC_FOR_BUILD deficiency:
-   # 
https://wiki.gentoo.org/wiki/Project:Toolchain/use_native_symlinks
-   CC_FOR_BUILD="$(tc-getBUILD_CC)"
-   )
-
-   if ! tc-is-cross-compiler; then
-   # Incorrect CFLAGS handling as CFLAGS_FOR_BUILD
-   # even for native builds. As a result -O3 is being used
-   # regardless of user's CFLAGS.
-   econf_opts+=(
-   CFLAGS_FOR_BUILD="${CFLAGS}"
-   )
-   fi
-
-   ECONF_SOURCE="${S}" econf "${econf_opts[@]}"
-}
-
-multilib_src_install_all() {
-   einstalldocs
-
-   find "${ED}" -type f -name '*.la' -delete || die
-}
-
-pkg_preinst() {
-   preserve_old_lib \
-   /usr/$(get_libdir)/libisl$(get_libname 14) \
-   /usr/$(get_libdir)/libisl$(get_libname 15) \
-  

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

2023-09-07 Thread Sam James
commit: 01d532fdf1ab940c5b127d2611a72662e7190e4a
Author: Sam James  gentoo  org>
AuthorDate: Thu Sep  7 23:01:51 2023 +
Commit: Sam James  gentoo  org>
CommitDate: Thu Sep  7 23:01:51 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=01d532fd

dev-libs/isl: Stabilize 0.26 amd64, #913816

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

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

diff --git a/dev-libs/isl/isl-0.26.ebuild b/dev-libs/isl/isl-0.26.ebuild
index 008bb43a3406..a944c99d4c9d 100644
--- a/dev-libs/isl/isl-0.26.ebuild
+++ b/dev-libs/isl/isl-0.26.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://libisl.sourceforge.io/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/23"
-KEYWORDS="~alpha ~amd64 arm arm64 ~hppa ~ia64 ~loong ~m68k ~mips ~ppc ~ppc64 
~riscv ~s390 sparc x86 ~ppc-macos ~x64-macos ~x64-solaris"
+KEYWORDS="~alpha amd64 arm arm64 ~hppa ~ia64 ~loong ~m68k ~mips ~ppc ~ppc64 
~riscv ~s390 sparc x86 ~ppc-macos ~x64-macos ~x64-solaris"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1:=[${MULTILIB_USEDEP}]"



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

2023-09-07 Thread Sam James
commit: 964911fdbe1d435aabbd5d3913e75182d517064c
Author: Sam James  gentoo  org>
AuthorDate: Thu Sep  7 20:55:28 2023 +
Commit: Sam James  gentoo  org>
CommitDate: Thu Sep  7 20:55:28 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=964911fd

dev-libs/isl: Stabilize 0.26 sparc, #913816

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

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

diff --git a/dev-libs/isl/isl-0.26.ebuild b/dev-libs/isl/isl-0.26.ebuild
index 49e370b9ddb2..008bb43a3406 100644
--- a/dev-libs/isl/isl-0.26.ebuild
+++ b/dev-libs/isl/isl-0.26.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://libisl.sourceforge.io/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/23"
-KEYWORDS="~alpha ~amd64 arm arm64 ~hppa ~ia64 ~loong ~m68k ~mips ~ppc ~ppc64 
~riscv ~s390 ~sparc x86 ~ppc-macos ~x64-macos ~x64-solaris"
+KEYWORDS="~alpha ~amd64 arm arm64 ~hppa ~ia64 ~loong ~m68k ~mips ~ppc ~ppc64 
~riscv ~s390 sparc x86 ~ppc-macos ~x64-macos ~x64-solaris"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1:=[${MULTILIB_USEDEP}]"



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

2023-09-07 Thread Sam James
commit: 3257176ed267267695ca59052c8fe7b63ac7d407
Author: Sam James  gentoo  org>
AuthorDate: Thu Sep  7 20:16:15 2023 +
Commit: Sam James  gentoo  org>
CommitDate: Thu Sep  7 20:16:15 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3257176e

dev-libs/isl: Stabilize 0.26 x86, #913816

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

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

diff --git a/dev-libs/isl/isl-0.26.ebuild b/dev-libs/isl/isl-0.26.ebuild
index ebc593f7fe16..28a28f56ff5a 100644
--- a/dev-libs/isl/isl-0.26.ebuild
+++ b/dev-libs/isl/isl-0.26.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://libisl.sourceforge.io/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/23"
-KEYWORDS="~alpha ~amd64 ~arm arm64 ~hppa ~ia64 ~loong ~m68k ~mips ~ppc ~ppc64 
~riscv ~s390 ~sparc ~x86 ~ppc-macos ~x64-macos ~x64-solaris"
+KEYWORDS="~alpha ~amd64 ~arm arm64 ~hppa ~ia64 ~loong ~m68k ~mips ~ppc ~ppc64 
~riscv ~s390 ~sparc x86 ~ppc-macos ~x64-macos ~x64-solaris"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1:=[${MULTILIB_USEDEP}]"



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

2023-09-07 Thread Sam James
commit: 6433cef18390191027fd711be595a5203d1bf6ba
Author: Sam James  gentoo  org>
AuthorDate: Thu Sep  7 20:16:17 2023 +
Commit: Sam James  gentoo  org>
CommitDate: Thu Sep  7 20:16:17 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6433cef1

dev-libs/isl: Stabilize 0.26 arm, #913816

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

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

diff --git a/dev-libs/isl/isl-0.26.ebuild b/dev-libs/isl/isl-0.26.ebuild
index 28a28f56ff5a..49e370b9ddb2 100644
--- a/dev-libs/isl/isl-0.26.ebuild
+++ b/dev-libs/isl/isl-0.26.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://libisl.sourceforge.io/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/23"
-KEYWORDS="~alpha ~amd64 ~arm arm64 ~hppa ~ia64 ~loong ~m68k ~mips ~ppc ~ppc64 
~riscv ~s390 ~sparc x86 ~ppc-macos ~x64-macos ~x64-solaris"
+KEYWORDS="~alpha ~amd64 arm arm64 ~hppa ~ia64 ~loong ~m68k ~mips ~ppc ~ppc64 
~riscv ~s390 ~sparc x86 ~ppc-macos ~x64-macos ~x64-solaris"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1:=[${MULTILIB_USEDEP}]"



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

2023-09-07 Thread Sam James
commit: 1d0f5d7acb83710a05ead3c7563c86038d6554d7
Author: Sam James  gentoo  org>
AuthorDate: Thu Sep  7 20:16:15 2023 +
Commit: Sam James  gentoo  org>
CommitDate: Thu Sep  7 20:16:15 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1d0f5d7a

dev-libs/isl: Stabilize 0.26 arm64, #913816

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

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

diff --git a/dev-libs/isl/isl-0.26.ebuild b/dev-libs/isl/isl-0.26.ebuild
index 3dd32d52f091..ebc593f7fe16 100644
--- a/dev-libs/isl/isl-0.26.ebuild
+++ b/dev-libs/isl/isl-0.26.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://libisl.sourceforge.io/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/23"
-KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~loong ~m68k ~mips ~ppc ~ppc64 
~riscv ~s390 ~sparc ~x86 ~ppc-macos ~x64-macos ~x64-solaris"
+KEYWORDS="~alpha ~amd64 ~arm arm64 ~hppa ~ia64 ~loong ~m68k ~mips ~ppc ~ppc64 
~riscv ~s390 ~sparc ~x86 ~ppc-macos ~x64-macos ~x64-solaris"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1:=[${MULTILIB_USEDEP}]"



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

2023-04-07 Thread Sam James
commit: ef889a13f80e973b12abfc046aa4cea3e0aae1a1
Author: Sam James  gentoo  org>
AuthorDate: Fri Apr  7 15:49:27 2023 +
Commit: Sam James  gentoo  org>
CommitDate: Fri Apr  7 15:49:57 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ef889a13

dev-libs/isl: drop 0.25

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

 dev-libs/isl/Manifest|  1 -
 dev-libs/isl/isl-0.25.ebuild | 80 
 2 files changed, 81 deletions(-)

diff --git a/dev-libs/isl/Manifest b/dev-libs/isl/Manifest
index 286329605fb4..dd9493e045cc 100644
--- a/dev-libs/isl/Manifest
+++ b/dev-libs/isl/Manifest
@@ -1,3 +1,2 @@
 DIST isl-0.24.tar.xz 1930956 BLAKE2B 
39cbfd18ad05778e3a5a44429261b45e4abc3efe7730ee890674d968890fe5e52c73bc1f8d271c7c3bc72d5754e3f7fcb209bd139e823d19cb9ea4ce1440164d
 SHA512 
ff6bdcff839e1cd473f2a0c1e4dd4a3612ec6fee4544ccbc62b530a7248db2cf93b4b99bf493a86ddf2aba00e768927265d5d411f92061ea85fd7929073428e8
-DIST isl-0.25.tar.xz 1977048 BLAKE2B 
54a13ba8a5d7666f62f3fb20db278d15b803400cb8b69f119b18fd1f54f7d02f1e07cd1e189803fc416afaa81b35e2247ef6b3da3d8cddc463b05cc9b3921890
 SHA512 
81ac6b404a71e146bb705efe647ecf3bee19c3254f534cb44228cec13ffc7a33d7d58b980106dbb120ffdc557403d966619e219328edd0a4b3cbc4ac66acb255
 DIST isl-0.26.tar.xz 2035560 BLAKE2B 
2cfe2e0774a991d2385e66f58490c5454382cabc82d74eb4bbe5a603293b7bdc34ca3b087f0884f9da319c447747edc76275ecaf2f171237939f9c7d3c52ced7
 SHA512 
9b5ec16d14e48f9ac9bf9cd379d3022959cfc617ade9e0d4caf2862299564fecba09d67dbdf1a4071f2f743a4fd0fabd0b0c3d15f5cddfe7226cdd5d6c2a0c66

diff --git a/dev-libs/isl/isl-0.25.ebuild b/dev-libs/isl/isl-0.25.ebuild
deleted file mode 100644
index 48733d37f1a9..
--- a/dev-libs/isl/isl-0.25.ebuild
+++ /dev/null
@@ -1,80 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-inherit autotools multilib multilib-minimal preserve-libs toolchain-funcs
-
-DESCRIPTION="A library for manipulating integer points bounded by linear 
constraints"
-HOMEPAGE="https://libisl.sourceforge.io/;
-SRC_URI="https://libisl.sourceforge.io/${P}.tar.xz;
-
-LICENSE="LGPL-2.1"
-SLOT="0/23"
-# They haven't made a new release in a while until now and
-# a fair bit changed. Let's be cautious.
-#KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~loong ~m68k ~mips ~ppc 
~ppc64 ~riscv ~s390 ~sparc ~x86 ~ppc-macos ~x64-macos ~sparc-solaris 
~sparc64-solaris ~x64-solaris ~x86-solaris"
-IUSE="static-libs"
-
-RDEPEND=">=dev-libs/gmp-5.1.3-r1:=[${MULTILIB_USEDEP}]"
-DEPEND="${RDEPEND}"
-BDEPEND="app-arch/xz-utils
-   virtual/pkgconfig"
-
-DOCS=( ChangeLog AUTHORS doc/manual.pdf )
-
-PATCHES=(
-   "${FILESDIR}"/${PN}-0.24-gdb-autoload-dir.patch
-   "${FILESDIR}"/${PN}-0.24-respect-flags.patch
-)
-
-src_prepare() {
-   default
-
-   eautoreconf
-}
-
-multilib_src_configure() {
-   local econf_opts=(
-   $(use_enable static-libs static)
-
-   # AX_PROG_CC_FOR_BUILD deficiency:
-   # 
https://wiki.gentoo.org/wiki/Project:Toolchain/use_native_symlinks
-   CC_FOR_BUILD="$(tc-getBUILD_CC)"
-   )
-
-   if ! tc-is-cross-compiler; then
-   # Incorrect CFLAGS handling as CFLAGS_FOR_BUILD
-   # even for native builds. As a result -O3 is being used
-   # regardless of user's CFLAGS.
-   econf_opts+=(
-   CFLAGS_FOR_BUILD="${CFLAGS}"
-   )
-   fi
-
-   ECONF_SOURCE="${S}" econf "${econf_opts[@]}"
-}
-
-multilib_src_install_all() {
-   einstalldocs
-
-   find "${ED}" -type f -name '*.la' -delete || die
-}
-
-pkg_preinst() {
-   preserve_old_lib \
-   /usr/$(get_libdir)/libisl$(get_libname 14) \
-   /usr/$(get_libdir)/libisl$(get_libname 15) \
-   /usr/$(get_libdir)/libisl$(get_libname 19) \
-   /usr/$(get_libdir)/libisl$(get_libname 21) \
-   /usr/$(get_libdir)/libisl$(get_libname 22)
-}
-
-pkg_postinst() {
-   preserve_old_lib_notify \
-   /usr/$(get_libdir)/libisl$(get_libname 14) \
-   /usr/$(get_libdir)/libisl$(get_libname 15) \
-   /usr/$(get_libdir)/libisl$(get_libname 19) \
-   /usr/$(get_libdir)/libisl$(get_libname 21) \
-   /usr/$(get_libdir)/libisl$(get_libname 22)
-}



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

2023-04-07 Thread Sam James
commit: bd56ac003f641b10c381f4ac9de16733cca63fac
Author: Sam James  gentoo  org>
AuthorDate: Fri Apr  7 15:48:45 2023 +
Commit: Sam James  gentoo  org>
CommitDate: Fri Apr  7 15:49:56 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bd56ac00

dev-libs/isl: add 0.26

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

 dev-libs/isl/Manifest|  1 +
 dev-libs/isl/isl-0.26.ebuild | 78 
 2 files changed, 79 insertions(+)

diff --git a/dev-libs/isl/Manifest b/dev-libs/isl/Manifest
index 8d951bfe898a..286329605fb4 100644
--- a/dev-libs/isl/Manifest
+++ b/dev-libs/isl/Manifest
@@ -1,2 +1,3 @@
 DIST isl-0.24.tar.xz 1930956 BLAKE2B 
39cbfd18ad05778e3a5a44429261b45e4abc3efe7730ee890674d968890fe5e52c73bc1f8d271c7c3bc72d5754e3f7fcb209bd139e823d19cb9ea4ce1440164d
 SHA512 
ff6bdcff839e1cd473f2a0c1e4dd4a3612ec6fee4544ccbc62b530a7248db2cf93b4b99bf493a86ddf2aba00e768927265d5d411f92061ea85fd7929073428e8
 DIST isl-0.25.tar.xz 1977048 BLAKE2B 
54a13ba8a5d7666f62f3fb20db278d15b803400cb8b69f119b18fd1f54f7d02f1e07cd1e189803fc416afaa81b35e2247ef6b3da3d8cddc463b05cc9b3921890
 SHA512 
81ac6b404a71e146bb705efe647ecf3bee19c3254f534cb44228cec13ffc7a33d7d58b980106dbb120ffdc557403d966619e219328edd0a4b3cbc4ac66acb255
+DIST isl-0.26.tar.xz 2035560 BLAKE2B 
2cfe2e0774a991d2385e66f58490c5454382cabc82d74eb4bbe5a603293b7bdc34ca3b087f0884f9da319c447747edc76275ecaf2f171237939f9c7d3c52ced7
 SHA512 
9b5ec16d14e48f9ac9bf9cd379d3022959cfc617ade9e0d4caf2862299564fecba09d67dbdf1a4071f2f743a4fd0fabd0b0c3d15f5cddfe7226cdd5d6c2a0c66

diff --git a/dev-libs/isl/isl-0.26.ebuild b/dev-libs/isl/isl-0.26.ebuild
new file mode 100644
index ..03a5b786b593
--- /dev/null
+++ b/dev-libs/isl/isl-0.26.ebuild
@@ -0,0 +1,78 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit autotools multilib multilib-minimal preserve-libs toolchain-funcs
+
+DESCRIPTION="A library for manipulating integer points bounded by linear 
constraints"
+HOMEPAGE="https://libisl.sourceforge.io/;
+SRC_URI="https://libisl.sourceforge.io/${P}.tar.xz;
+
+LICENSE="LGPL-2.1"
+SLOT="0/23"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~loong ~m68k ~mips ~ppc ~ppc64 
~riscv ~s390 ~sparc ~x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
+IUSE="static-libs"
+
+RDEPEND=">=dev-libs/gmp-5.1.3-r1:=[${MULTILIB_USEDEP}]"
+DEPEND="${RDEPEND}"
+BDEPEND="app-arch/xz-utils
+   virtual/pkgconfig"
+
+DOCS=( ChangeLog AUTHORS doc/manual.pdf )
+
+PATCHES=(
+   "${FILESDIR}"/${PN}-0.24-gdb-autoload-dir.patch
+   "${FILESDIR}"/${PN}-0.24-respect-flags.patch
+)
+
+src_prepare() {
+   default
+
+   eautoreconf
+}
+
+multilib_src_configure() {
+   local econf_opts=(
+   $(use_enable static-libs static)
+
+   # AX_PROG_CC_FOR_BUILD deficiency:
+   # 
https://wiki.gentoo.org/wiki/Project:Toolchain/use_native_symlinks
+   CC_FOR_BUILD="$(tc-getBUILD_CC)"
+   )
+
+   if ! tc-is-cross-compiler; then
+   # Incorrect CFLAGS handling as CFLAGS_FOR_BUILD
+   # even for native builds. As a result -O3 is being used
+   # regardless of user's CFLAGS.
+   econf_opts+=(
+   CFLAGS_FOR_BUILD="${CFLAGS}"
+   )
+   fi
+
+   ECONF_SOURCE="${S}" econf "${econf_opts[@]}"
+}
+
+multilib_src_install_all() {
+   einstalldocs
+
+   find "${ED}" -type f -name '*.la' -delete || die
+}
+
+pkg_preinst() {
+   preserve_old_lib \
+   /usr/$(get_libdir)/libisl$(get_libname 14) \
+   /usr/$(get_libdir)/libisl$(get_libname 15) \
+   /usr/$(get_libdir)/libisl$(get_libname 19) \
+   /usr/$(get_libdir)/libisl$(get_libname 21) \
+   /usr/$(get_libdir)/libisl$(get_libname 22)
+}
+
+pkg_postinst() {
+   preserve_old_lib_notify \
+   /usr/$(get_libdir)/libisl$(get_libname 14) \
+   /usr/$(get_libdir)/libisl$(get_libname 15) \
+   /usr/$(get_libdir)/libisl$(get_libname 19) \
+   /usr/$(get_libdir)/libisl$(get_libname 21) \
+   /usr/$(get_libdir)/libisl$(get_libname 22)
+}



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

2022-07-04 Thread Sam James
commit: dffbf461a870de57c4b4b37051ae2c5691008548
Author: Sam James  gentoo  org>
AuthorDate: Tue Jul  5 04:12:47 2022 +
Commit: Sam James  gentoo  org>
CommitDate: Tue Jul  5 04:13:02 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=dffbf461

dev-libs/isl: unkeyword 0.25

They haven't made a new release in a while until now and
a fair bit changed. Let's be cautious.

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

 dev-libs/isl/isl-0.25.ebuild | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/dev-libs/isl/isl-0.25.ebuild b/dev-libs/isl/isl-0.25.ebuild
index cc920b7c0e49..48733d37f1a9 100644
--- a/dev-libs/isl/isl-0.25.ebuild
+++ b/dev-libs/isl/isl-0.25.ebuild
@@ -11,7 +11,9 @@ SRC_URI="https://libisl.sourceforge.io/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/23"
-KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~loong ~m68k ~mips ~ppc ~ppc64 
~riscv ~s390 ~sparc ~x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
+# They haven't made a new release in a while until now and
+# a fair bit changed. Let's be cautious.
+#KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~loong ~m68k ~mips ~ppc 
~ppc64 ~riscv ~s390 ~sparc ~x86 ~ppc-macos ~x64-macos ~sparc-solaris 
~sparc64-solaris ~x64-solaris ~x86-solaris"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1:=[${MULTILIB_USEDEP}]"



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

2022-07-04 Thread Sam James
commit: 663fce3e0904a6b30bb2fca6a773755dbf2f6a50
Author: Sam James  gentoo  org>
AuthorDate: Tue Jul  5 03:48:20 2022 +
Commit: Sam James  gentoo  org>
CommitDate: Tue Jul  5 03:49:01 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=663fce3e

dev-libs/isl: add 0.25

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

 dev-libs/isl/Manifest|  1 +
 dev-libs/isl/isl-0.25.ebuild | 78 
 2 files changed, 79 insertions(+)

diff --git a/dev-libs/isl/Manifest b/dev-libs/isl/Manifest
index efecf2e95178..8d951bfe898a 100644
--- a/dev-libs/isl/Manifest
+++ b/dev-libs/isl/Manifest
@@ -1 +1,2 @@
 DIST isl-0.24.tar.xz 1930956 BLAKE2B 
39cbfd18ad05778e3a5a44429261b45e4abc3efe7730ee890674d968890fe5e52c73bc1f8d271c7c3bc72d5754e3f7fcb209bd139e823d19cb9ea4ce1440164d
 SHA512 
ff6bdcff839e1cd473f2a0c1e4dd4a3612ec6fee4544ccbc62b530a7248db2cf93b4b99bf493a86ddf2aba00e768927265d5d411f92061ea85fd7929073428e8
+DIST isl-0.25.tar.xz 1977048 BLAKE2B 
54a13ba8a5d7666f62f3fb20db278d15b803400cb8b69f119b18fd1f54f7d02f1e07cd1e189803fc416afaa81b35e2247ef6b3da3d8cddc463b05cc9b3921890
 SHA512 
81ac6b404a71e146bb705efe647ecf3bee19c3254f534cb44228cec13ffc7a33d7d58b980106dbb120ffdc557403d966619e219328edd0a4b3cbc4ac66acb255

diff --git a/dev-libs/isl/isl-0.25.ebuild b/dev-libs/isl/isl-0.25.ebuild
new file mode 100644
index ..cc920b7c0e49
--- /dev/null
+++ b/dev-libs/isl/isl-0.25.ebuild
@@ -0,0 +1,78 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit autotools multilib multilib-minimal preserve-libs toolchain-funcs
+
+DESCRIPTION="A library for manipulating integer points bounded by linear 
constraints"
+HOMEPAGE="https://libisl.sourceforge.io/;
+SRC_URI="https://libisl.sourceforge.io/${P}.tar.xz;
+
+LICENSE="LGPL-2.1"
+SLOT="0/23"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~loong ~m68k ~mips ~ppc ~ppc64 
~riscv ~s390 ~sparc ~x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
+IUSE="static-libs"
+
+RDEPEND=">=dev-libs/gmp-5.1.3-r1:=[${MULTILIB_USEDEP}]"
+DEPEND="${RDEPEND}"
+BDEPEND="app-arch/xz-utils
+   virtual/pkgconfig"
+
+DOCS=( ChangeLog AUTHORS doc/manual.pdf )
+
+PATCHES=(
+   "${FILESDIR}"/${PN}-0.24-gdb-autoload-dir.patch
+   "${FILESDIR}"/${PN}-0.24-respect-flags.patch
+)
+
+src_prepare() {
+   default
+
+   eautoreconf
+}
+
+multilib_src_configure() {
+   local econf_opts=(
+   $(use_enable static-libs static)
+
+   # AX_PROG_CC_FOR_BUILD deficiency:
+   # 
https://wiki.gentoo.org/wiki/Project:Toolchain/use_native_symlinks
+   CC_FOR_BUILD="$(tc-getBUILD_CC)"
+   )
+
+   if ! tc-is-cross-compiler; then
+   # Incorrect CFLAGS handling as CFLAGS_FOR_BUILD
+   # even for native builds. As a result -O3 is being used
+   # regardless of user's CFLAGS.
+   econf_opts+=(
+   CFLAGS_FOR_BUILD="${CFLAGS}"
+   )
+   fi
+
+   ECONF_SOURCE="${S}" econf "${econf_opts[@]}"
+}
+
+multilib_src_install_all() {
+   einstalldocs
+
+   find "${ED}" -type f -name '*.la' -delete || die
+}
+
+pkg_preinst() {
+   preserve_old_lib \
+   /usr/$(get_libdir)/libisl$(get_libname 14) \
+   /usr/$(get_libdir)/libisl$(get_libname 15) \
+   /usr/$(get_libdir)/libisl$(get_libname 19) \
+   /usr/$(get_libdir)/libisl$(get_libname 21) \
+   /usr/$(get_libdir)/libisl$(get_libname 22)
+}
+
+pkg_postinst() {
+   preserve_old_lib_notify \
+   /usr/$(get_libdir)/libisl$(get_libname 14) \
+   /usr/$(get_libdir)/libisl$(get_libname 15) \
+   /usr/$(get_libdir)/libisl$(get_libname 19) \
+   /usr/$(get_libdir)/libisl$(get_libname 21) \
+   /usr/$(get_libdir)/libisl$(get_libname 22)
+}



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

2022-05-04 Thread WANG Xuerui
commit: b58662d353a2569809141d736dec78ca22656ed7
Author: WANG Xuerui  gentoo  org>
AuthorDate: Wed May  4 08:11:27 2022 +
Commit: WANG Xuerui  gentoo  org>
CommitDate: Wed May  4 08:16:14 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b58662d3

dev-libs/isl: keyword 0.24-r2 for ~loong

Tests passed on real hardware.

Signed-off-by: WANG Xuerui  gentoo.org>

 dev-libs/isl/isl-0.24-r2.ebuild | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev-libs/isl/isl-0.24-r2.ebuild b/dev-libs/isl/isl-0.24-r2.ebuild
index e53ed5190253..e0281d90f418 100644
--- a/dev-libs/isl/isl-0.24-r2.ebuild
+++ b/dev-libs/isl/isl-0.24-r2.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
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz 
https://libisl.sourceforge.io/${
 
 LICENSE="LGPL-2.1"
 SLOT="0/23"
-KEYWORDS="~alpha amd64 arm arm64 ~hppa ~ia64 ~m68k ~mips ppc ppc64 ~riscv 
~s390 sparc x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
+KEYWORDS="~alpha amd64 arm arm64 ~hppa ~ia64 ~loong ~m68k ~mips ppc ppc64 
~riscv ~s390 sparc x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1:=[${MULTILIB_USEDEP}]"



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

2022-04-17 Thread Sam James
commit: ab3cbcdd918b2575bfe8273c5bef2bfb13671fff
Author: Sam James  gentoo  org>
AuthorDate: Sun Apr 17 18:22:42 2022 +
Commit: Sam James  gentoo  org>
CommitDate: Sun Apr 17 18:22:42 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ab3cbcdd

dev-libs/isl: drop 0.24

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

 dev-libs/isl/files/isl-0.19-gdb-autoload-dir.patch | 17 -
 dev-libs/isl/isl-0.24.ebuild   | 73 --
 2 files changed, 90 deletions(-)

diff --git a/dev-libs/isl/files/isl-0.19-gdb-autoload-dir.patch 
b/dev-libs/isl/files/isl-0.19-gdb-autoload-dir.patch
deleted file mode 100644
index 6f8111707e82..
--- a/dev-libs/isl/files/isl-0.19-gdb-autoload-dir.patch
+++ /dev/null
@@ -1,17 +0,0 @@
-diff -Naur isl-0.19.orig/Makefile.in isl-0.19/Makefile.in
 isl-0.19.orig/Makefile.in  2018-03-03 11:32:15.0 -0500
-+++ isl-0.19/Makefile.in   2018-03-10 17:29:30.039182728 -0500
-@@ -2269,10 +2269,10 @@
-   case $$libisl in \
-   '') echo Cannot find isl library name. GDB bindings not installed.;; \
-   *) echo $(INSTALL_DATA) $(srcdir)/libisl-gdb.py \
--  $(DESTDIR)$(libdir)/$$libisl-gdb.py; \
--  test -z "$(libdir)" || $(MKDIR_P) "$(DESTDIR)$(libdir)"; \
-+  
$(DESTDIR)$(prefix)/share/gdb/auto-load$(libdir)/$$libisl-gdb.py; \
-+  test -z "$(libdir)" || $(MKDIR_P) 
"$(DESTDIR)$(prefix)/share/gdb/auto-load$(libdir)"; \
-   $(INSTALL_DATA) $(srcdir)/libisl-gdb.py \
--  $(DESTDIR)$(libdir)/$$libisl-gdb.py; \
-+  $(DESTDIR)$(prefix)/share/gdb/auto-load$(libdir)/$$libisl-gdb.py; \
-   esac
- 
- uninstall-local:

diff --git a/dev-libs/isl/isl-0.24.ebuild b/dev-libs/isl/isl-0.24.ebuild
deleted file mode 100644
index 3c45913215e2..
--- a/dev-libs/isl/isl-0.24.ebuild
+++ /dev/null
@@ -1,73 +0,0 @@
-# Copyright 1999-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-inherit multilib-minimal preserve-libs toolchain-funcs
-
-DESCRIPTION="A library for manipulating integer points bounded by linear 
constraints"
-HOMEPAGE="http://isl.gforge.inria.fr/ https://libisl.sourceforge.io/;
-SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz 
https://libisl.sourceforge.io/${P}.tar.xz;
-
-LICENSE="LGPL-2.1"
-SLOT="0/23"
-KEYWORDS="~alpha amd64 arm arm64 ~hppa ~ia64 ~m68k ~mips ppc ppc64 ~riscv 
~s390 sparc x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
-IUSE="static-libs"
-
-RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"
-DEPEND="${RDEPEND}"
-BDEPEND="
-   app-arch/xz-utils
-   virtual/pkgconfig"
-
-DOCS=( ChangeLog AUTHORS doc/manual.pdf )
-
-PATCHES=(
-   "${FILESDIR}"/${PN}-0.19-gdb-autoload-dir.patch
-   "${FILESDIR}"/${PN}-0.24-nobash.patch
-)
-
-multilib_src_configure() {
-   local econf_opts=(
-   $(use_enable static-libs static)
-
-   # AX_PROG_CC_FOR_BUILD deficiency:
-   # 
https://wiki.gentoo.org/wiki/Project:Toolchain/use_native_symlinks
-   CC_FOR_BUILD="$(tc-getBUILD_CC)"
-   )
-
-   if ! tc-is-cross-compiler; then
-   # Incorrect CFLAGS handling as CFLAGS_FOR_BUILD
-   # even for native builds. As a result -O3 is being used
-   # regardless of user's CFLAGS.
-   econf_opts+=(
-   CFLAGS_FOR_BUILD="${CFLAGS}"
-   )
-   fi
-
-   ECONF_SOURCE="${S}" econf "${econf_opts[@]}"
-}
-
-multilib_src_install_all() {
-   einstalldocs
-
-   find "${ED}" -type f -name '*.la' -delete || die
-}
-
-pkg_preinst() {
-   preserve_old_lib \
-   /usr/$(get_libdir)/libisl$(get_libname 14) \
-   /usr/$(get_libdir)/libisl$(get_libname 15) \
-   /usr/$(get_libdir)/libisl$(get_libname 19) \
-   /usr/$(get_libdir)/libisl$(get_libname 21) \
-   /usr/$(get_libdir)/libisl$(get_libname 22)
-}
-
-pkg_postinst() {
-   preserve_old_lib_notify \
-   /usr/$(get_libdir)/libisl$(get_libname 14) \
-   /usr/$(get_libdir)/libisl$(get_libname 15) \
-   /usr/$(get_libdir)/libisl$(get_libname 19) \
-   /usr/$(get_libdir)/libisl$(get_libname 21) \
-   /usr/$(get_libdir)/libisl$(get_libname 22)
-}



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

2021-10-29 Thread Sam James
commit: f57a58b2730d034426a599e7b1ea8fde897bc659
Author: Sam James  gentoo  org>
AuthorDate: Fri Oct 29 18:31:31 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Fri Oct 29 18:31:31 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f57a58b2

dev-libs/isl: Stabilize 0.24-r2 ppc64, #815700

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

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

diff --git a/dev-libs/isl/isl-0.24-r2.ebuild b/dev-libs/isl/isl-0.24-r2.ebuild
index 1faad9c9721..e53ed519025 100644
--- a/dev-libs/isl/isl-0.24-r2.ebuild
+++ b/dev-libs/isl/isl-0.24-r2.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz 
https://libisl.sourceforge.io/${
 
 LICENSE="LGPL-2.1"
 SLOT="0/23"
-KEYWORDS="~alpha amd64 arm arm64 ~hppa ~ia64 ~m68k ~mips ppc ~ppc64 ~riscv 
~s390 sparc x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
+KEYWORDS="~alpha amd64 arm arm64 ~hppa ~ia64 ~m68k ~mips ppc ppc64 ~riscv 
~s390 sparc x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1:=[${MULTILIB_USEDEP}]"



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

2021-10-29 Thread Sam James
commit: be769407a8984a042f1cfe403ab9ee363cad3389
Author: Sam James  gentoo  org>
AuthorDate: Fri Oct 29 12:33:42 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Fri Oct 29 12:33:42 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=be769407

dev-libs/isl: Stabilize 0.24-r2 ppc, #815700

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

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

diff --git a/dev-libs/isl/isl-0.24-r2.ebuild b/dev-libs/isl/isl-0.24-r2.ebuild
index 4c31335239f..1faad9c9721 100644
--- a/dev-libs/isl/isl-0.24-r2.ebuild
+++ b/dev-libs/isl/isl-0.24-r2.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz 
https://libisl.sourceforge.io/${
 
 LICENSE="LGPL-2.1"
 SLOT="0/23"
-KEYWORDS="~alpha amd64 arm arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 sparc x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
+KEYWORDS="~alpha amd64 arm arm64 ~hppa ~ia64 ~m68k ~mips ppc ~ppc64 ~riscv 
~s390 sparc x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1:=[${MULTILIB_USEDEP}]"



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

2021-10-28 Thread Sam James
commit: cd5fd8b80ef7cca309c7f0beac03ba7578b48a86
Author: Sam James  gentoo  org>
AuthorDate: Fri Oct 29 04:47:57 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Fri Oct 29 04:48:47 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cd5fd8b8

dev-libs/isl: add gmp subslot dep

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

 dev-libs/isl/{isl-0.24-r1.ebuild => isl-0.24-r2.ebuild} | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/isl/isl-0.24-r1.ebuild b/dev-libs/isl/isl-0.24-r2.ebuild
similarity index 97%
rename from dev-libs/isl/isl-0.24-r1.ebuild
rename to dev-libs/isl/isl-0.24-r2.ebuild
index 12b7f459877..4c31335239f 100644
--- a/dev-libs/isl/isl-0.24-r1.ebuild
+++ b/dev-libs/isl/isl-0.24-r2.ebuild
@@ -14,7 +14,7 @@ SLOT="0/23"
 KEYWORDS="~alpha amd64 arm arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 sparc x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
 IUSE="static-libs"
 
-RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"
+RDEPEND=">=dev-libs/gmp-5.1.3-r1:=[${MULTILIB_USEDEP}]"
 DEPEND="${RDEPEND}"
 BDEPEND="
app-arch/xz-utils



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

2021-10-28 Thread Sam James
commit: f3bf18e55bc1873442469c275792edebed786ee0
Author: Sam James  gentoo  org>
AuthorDate: Thu Oct 28 14:56:24 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Thu Oct 28 14:56:24 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f3bf18e5

dev-libs/isl: Stabilize 0.24-r1 arm, #815700

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

 dev-libs/isl/isl-0.24-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/isl/isl-0.24-r1.ebuild b/dev-libs/isl/isl-0.24-r1.ebuild
index 62216f15ca4..de9b2687d2c 100644
--- a/dev-libs/isl/isl-0.24-r1.ebuild
+++ b/dev-libs/isl/isl-0.24-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz 
https://libisl.sourceforge.io/${
 
 LICENSE="LGPL-2.1"
 SLOT="0/23"
-KEYWORDS="~alpha amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 sparc x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
+KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 sparc x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2021-10-28 Thread Sam James
commit: 13a732759f62ca0f801a403cc11d3e9497de8957
Author: Sam James  gentoo  org>
AuthorDate: Thu Oct 28 14:56:27 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Thu Oct 28 14:56:27 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=13a73275

dev-libs/isl: Stabilize 0.24-r1 arm64, #815700

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

 dev-libs/isl/isl-0.24-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/isl/isl-0.24-r1.ebuild b/dev-libs/isl/isl-0.24-r1.ebuild
index de9b2687d2c..12b7f459877 100644
--- a/dev-libs/isl/isl-0.24-r1.ebuild
+++ b/dev-libs/isl/isl-0.24-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz 
https://libisl.sourceforge.io/${
 
 LICENSE="LGPL-2.1"
 SLOT="0/23"
-KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 sparc x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
+KEYWORDS="~alpha amd64 arm arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 sparc x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2021-10-27 Thread Agostino Sarubbo
commit: b0e3252f8a413ff0277f1139c48bc268322417d8
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Wed Oct 27 06:36:57 2021 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Wed Oct 27 06:36:57 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b0e3252f

dev-libs/isl: x86 stable wrt bug #815700

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

 dev-libs/isl/isl-0.24-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/isl/isl-0.24-r1.ebuild b/dev-libs/isl/isl-0.24-r1.ebuild
index 788a32d0ece..62216f15ca4 100644
--- a/dev-libs/isl/isl-0.24-r1.ebuild
+++ b/dev-libs/isl/isl-0.24-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz 
https://libisl.sourceforge.io/${
 
 LICENSE="LGPL-2.1"
 SLOT="0/23"
-KEYWORDS="~alpha amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 sparc ~x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
+KEYWORDS="~alpha amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 sparc x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2021-10-27 Thread Agostino Sarubbo
commit: 279aa179d7142de0c71dcaf9238696c60092fe3a
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Wed Oct 27 06:35:35 2021 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Wed Oct 27 06:35:35 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=279aa179

dev-libs/isl: amd64 stable wrt bug #815700

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

 dev-libs/isl/isl-0.24-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/isl/isl-0.24-r1.ebuild b/dev-libs/isl/isl-0.24-r1.ebuild
index 7a8edbd45a3..788a32d0ece 100644
--- a/dev-libs/isl/isl-0.24-r1.ebuild
+++ b/dev-libs/isl/isl-0.24-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz 
https://libisl.sourceforge.io/${
 
 LICENSE="LGPL-2.1"
 SLOT="0/23"
-KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 sparc ~x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
+KEYWORDS="~alpha amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 sparc ~x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2021-10-26 Thread Sam James
commit: 2e279cecab64a9cd910fad054a90def20bf67734
Author: Rolf Eike Beer  sf-mail  de>
AuthorDate: Tue Oct 26 06:09:17 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Tue Oct 26 06:38:07 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2e279cec

dev-libs/isl: stable 0.24-r1 for sparc, bug #815700

Package-Manager: Portage-3.0.20, Repoman-3.0.3
RepoMan-Options: --include-arches="sparc"
Signed-off-by: Rolf Eike Beer  sf-mail.de>
Signed-off-by: Sam James  gentoo.org>

 dev-libs/isl/isl-0.24-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/isl/isl-0.24-r1.ebuild b/dev-libs/isl/isl-0.24-r1.ebuild
index 71aaf3b3415..7a8edbd45a3 100644
--- a/dev-libs/isl/isl-0.24-r1.ebuild
+++ b/dev-libs/isl/isl-0.24-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz 
https://libisl.sourceforge.io/${
 
 LICENSE="LGPL-2.1"
 SLOT="0/23"
-KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sparc ~x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 sparc ~x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2021-10-14 Thread Sam James
commit: 712306686bb0d59368515b80c447c9b346e0c321
Author: Sam James  gentoo  org>
AuthorDate: Thu Oct 14 08:49:09 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Thu Oct 14 08:51:14 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=71230668

dev-libs/isl: update HOMEPAGE, SRC_URI

See https://groups.google.com/g/isl-development/c/JGaMo2VUu_8,
now on sourceforge.

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

 dev-libs/isl/isl-0.24-r1.ebuild | 4 ++--
 dev-libs/isl/isl-0.24.ebuild| 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/dev-libs/isl/isl-0.24-r1.ebuild b/dev-libs/isl/isl-0.24-r1.ebuild
index c2c29d16033..71aaf3b3415 100644
--- a/dev-libs/isl/isl-0.24-r1.ebuild
+++ b/dev-libs/isl/isl-0.24-r1.ebuild
@@ -6,8 +6,8 @@ EAPI=7
 inherit autotools multilib multilib-minimal preserve-libs toolchain-funcs
 
 DESCRIPTION="A library for manipulating integer points bounded by linear 
constraints"
-HOMEPAGE="http://isl.gforge.inria.fr/;
-SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
+HOMEPAGE="http://isl.gforge.inria.fr/ https://libisl.sourceforge.io/;
+SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz 
https://libisl.sourceforge.io/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/23"

diff --git a/dev-libs/isl/isl-0.24.ebuild b/dev-libs/isl/isl-0.24.ebuild
index ad2782f9d7c..3c45913215e 100644
--- a/dev-libs/isl/isl-0.24.ebuild
+++ b/dev-libs/isl/isl-0.24.ebuild
@@ -6,8 +6,8 @@ EAPI=7
 inherit multilib-minimal preserve-libs toolchain-funcs
 
 DESCRIPTION="A library for manipulating integer points bounded by linear 
constraints"
-HOMEPAGE="http://isl.gforge.inria.fr/;
-SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
+HOMEPAGE="http://isl.gforge.inria.fr/ https://libisl.sourceforge.io/;
+SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz 
https://libisl.sourceforge.io/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/23"



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

2021-10-10 Thread Sam James
commit: 7cd5680c8ad2f29abc188af16e906dd16adcca1f
Author: Sam James  gentoo  org>
AuthorDate: Sun Oct 10 23:03:40 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Sun Oct 10 23:03:40 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7cd5680c

dev-libs/isl: inherit multilib for get_libname

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

 dev-libs/isl/isl-0.24-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/isl/isl-0.24-r1.ebuild b/dev-libs/isl/isl-0.24-r1.ebuild
index 17e0ea9fca5..c2c29d16033 100644
--- a/dev-libs/isl/isl-0.24-r1.ebuild
+++ b/dev-libs/isl/isl-0.24-r1.ebuild
@@ -3,7 +3,7 @@
 
 EAPI=7
 
-inherit autotools multilib-minimal preserve-libs toolchain-funcs
+inherit autotools multilib multilib-minimal preserve-libs toolchain-funcs
 
 DESCRIPTION="A library for manipulating integer points bounded by linear 
constraints"
 HOMEPAGE="http://isl.gforge.inria.fr/;



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

2021-10-10 Thread Sam James
commit: d19a7f9d9ba8362f9e12a28805957bf17c0b6cb2
Author: Sam James  gentoo  org>
AuthorDate: Sun Oct 10 22:57:25 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Sun Oct 10 22:57:25 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d19a7f9d

dev-libs/isl: respect CFLAGS

Drop the fun (and aggressive) AX_CC_MAXOPT macro call
which was causing us to not respect the user's CFLAGS.

Note that 0.24 seemed to be triggering maintainer mode;
have chucked eautoreconf into the ebuild for 0.24-r1
given it seemingly wasn't doing any harm to be doing
it informally in 0.24 anyway, but will keep an eye on
it.

Revbump because of the aforementioned churn in a
critical dependency.

Bug: https://bugs.gentoo.org/815700
Signed-off-by: Sam James  gentoo.org>

 dev-libs/isl/files/isl-0.24-gdb-autoload-dir.patch | 35 ++
 dev-libs/isl/files/isl-0.24-respect-flags.patch| 14 +
 .../isl/{isl-0.24.ebuild => isl-0.24-r1.ebuild}| 19 
 dev-libs/isl/isl-0.24.ebuild   |  6 ++--
 4 files changed, 67 insertions(+), 7 deletions(-)

diff --git a/dev-libs/isl/files/isl-0.24-gdb-autoload-dir.patch 
b/dev-libs/isl/files/isl-0.24-gdb-autoload-dir.patch
new file mode 100644
index 000..6751d5755fb
--- /dev/null
+++ b/dev-libs/isl/files/isl-0.24-gdb-autoload-dir.patch
@@ -0,0 +1,35 @@
+diff -Naur isl-0.19.orig/Makefile.in isl-0.19/Makefile.in
+--- isl-0.19.orig/Makefile.in  2018-03-03 11:32:15.0 -0500
 isl-0.19/Makefile.in   2018-03-10 17:29:30.039182728 -0500
+@@ -2269,10 +2269,10 @@
+   case $$libisl in \
+   '') echo Cannot find isl library name. GDB bindings not installed.;; \
+   *) echo $(INSTALL_DATA) $(srcdir)/libisl-gdb.py \
+-  $(DESTDIR)$(libdir)/$$libisl-gdb.py; \
+-  test -z "$(libdir)" || $(MKDIR_P) "$(DESTDIR)$(libdir)"; \
++  
$(DESTDIR)$(prefix)/share/gdb/auto-load$(libdir)/$$libisl-gdb.py; \
++  test -z "$(libdir)" || $(MKDIR_P) 
"$(DESTDIR)$(prefix)/share/gdb/auto-load$(libdir)"; \
+   $(INSTALL_DATA) $(srcdir)/libisl-gdb.py \
+-  $(DESTDIR)$(libdir)/$$libisl-gdb.py; \
++  $(DESTDIR)$(prefix)/share/gdb/auto-load$(libdir)/$$libisl-gdb.py; \
+   esac
+ 
+ uninstall-local:
+diff --git a/Makefile.am b/Makefile.am
+index 96cac65..8bb6aa2 100644
+--- a/Makefile.am
 b/Makefile.am
+@@ -639,10 +639,10 @@ install-data-local: $(srcdir)/libisl-gdb.py
+   case $$libisl in \
+   '') echo Cannot find isl library name. GDB bindings not installed.;; \
+   *) echo $(INSTALL_DATA) $(srcdir)/libisl-gdb.py \
+-  $(DESTDIR)$(libdir)/$$libisl-gdb.py; \
+-  test -z "$(libdir)" || $(MKDIR_P) "$(DESTDIR)$(libdir)"; \
++  
$(DESTDIR)$(prefix)/share/gdb/auto-load$(libdir)/$$libisl-gdb.py; \
++  test -z "$(libdir)" || $(MKDIR_P) 
"$(DESTDIR)$(prefix)/share/gdb/auto-load$(libdir)"; \
+   $(INSTALL_DATA) $(srcdir)/libisl-gdb.py \
+-  $(DESTDIR)$(libdir)/$$libisl-gdb.py; \
++  
$(DESTDIR)$(prefix)/share/gdb/auto-load$(libdir)/$$libisl-gdb.py; \
+   esac
+ 
+ uninstall-local:

diff --git a/dev-libs/isl/files/isl-0.24-respect-flags.patch 
b/dev-libs/isl/files/isl-0.24-respect-flags.patch
new file mode 100644
index 000..e00748b2433
--- /dev/null
+++ b/dev-libs/isl/files/isl-0.24-respect-flags.patch
@@ -0,0 +1,14 @@
+https://bugs.gentoo.org/815700
+
+--- a/configure.ac
 b/configure.ac
+@@ -22,7 +22,6 @@ AC_PROG_CC
+ AC_PROG_CXX
+ AX_PROG_CC_FOR_BUILD
+ 
+-AX_CC_MAXOPT
+ AX_GCC_WARN_UNUSED_RESULT
+ AX_C___ATTRIBUTE__
+ 
+-- 
+

diff --git a/dev-libs/isl/isl-0.24.ebuild b/dev-libs/isl/isl-0.24-r1.ebuild
similarity index 79%
copy from dev-libs/isl/isl-0.24.ebuild
copy to dev-libs/isl/isl-0.24-r1.ebuild
index 9b5ae94248d..17e0ea9fca5 100644
--- a/dev-libs/isl/isl-0.24.ebuild
+++ b/dev-libs/isl/isl-0.24-r1.ebuild
@@ -1,9 +1,9 @@
 # Copyright 1999-2021 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
-EAPI="7"
+EAPI=7
 
-inherit multilib-minimal preserve-libs toolchain-funcs
+inherit autotools multilib-minimal preserve-libs toolchain-funcs
 
 DESCRIPTION="A library for manipulating integer points bounded by linear 
constraints"
 HOMEPAGE="http://isl.gforge.inria.fr/;
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/23"
-KEYWORDS="~alpha amd64 arm arm64 ~hppa ~ia64 ~m68k ~mips ppc ppc64 ~riscv 
~s390 sparc x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sparc ~x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"
@@ -23,10 +23,17 @@ BDEPEND="
 DOCS=( ChangeLog AUTHORS doc/manual.pdf )
 
 PATCHES=(
-   "${FILESDIR}"/${PN}-0.19-gdb-autoload-dir.patch
+   

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

2021-06-12 Thread Sergei Trofimovich
commit: acbc0214fa077114348897d61a8d6b505a50fd87
Author: Sergei Trofimovich  gentoo  org>
AuthorDate: Sat Jun 12 10:03:21 2021 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Sat Jun 12 10:07:06 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=acbc0214

dev-libs/isl: drop old

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

 dev-libs/isl/Manifest   |  1 -
 dev-libs/isl/isl-0.23-r1.ebuild | 70 -
 2 files changed, 71 deletions(-)

diff --git a/dev-libs/isl/Manifest b/dev-libs/isl/Manifest
index 326d1e9eaea..efecf2e9517 100644
--- a/dev-libs/isl/Manifest
+++ b/dev-libs/isl/Manifest
@@ -1,2 +1 @@
-DIST isl-0.23.tar.xz 1729656 BLAKE2B 
ce026eaa1d6c814f4067c555d97a453bdf01d5fa240aa9b6ccd22c9a0e7f19b0c30cd834f976a29b10a5d57eaa747a3f45cf55717f05d98ae405ec93dd42f27b
 SHA512 
da4e7cbd5045d074581d4e1c212acb074a8b2345a96515151b0543cbe2601db6ac2bbd93f9ad6643e98f845b68f438f3882c05b8b90969ae542802a3c78fea20
 DIST isl-0.24.tar.xz 1930956 BLAKE2B 
39cbfd18ad05778e3a5a44429261b45e4abc3efe7730ee890674d968890fe5e52c73bc1f8d271c7c3bc72d5754e3f7fcb209bd139e823d19cb9ea4ce1440164d
 SHA512 
ff6bdcff839e1cd473f2a0c1e4dd4a3612ec6fee4544ccbc62b530a7248db2cf93b4b99bf493a86ddf2aba00e768927265d5d411f92061ea85fd7929073428e8

diff --git a/dev-libs/isl/isl-0.23-r1.ebuild b/dev-libs/isl/isl-0.23-r1.ebuild
deleted file mode 100644
index 5668340ffa5..000
--- a/dev-libs/isl/isl-0.23-r1.ebuild
+++ /dev/null
@@ -1,70 +0,0 @@
-# Copyright 1999-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="7"
-
-inherit multilib-minimal preserve-libs toolchain-funcs
-
-DESCRIPTION="A library for manipulating integer points bounded by linear 
constraints"
-HOMEPAGE="http://isl.gforge.inria.fr/;
-SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
-
-LICENSE="LGPL-2.1"
-SLOT="0/23"
-KEYWORDS="~alpha amd64 arm arm64 ~hppa ~ia64 ~m68k ~mips ppc ppc64 ~riscv 
~s390 sparc x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
-IUSE="static-libs"
-
-RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"
-DEPEND="${RDEPEND}"
-BDEPEND="
-   app-arch/xz-utils
-   virtual/pkgconfig"
-
-DOCS=( ChangeLog AUTHORS doc/manual.pdf )
-
-PATCHES=(
-   "${FILESDIR}"/${PN}-0.19-gdb-autoload-dir.patch
-)
-
-multilib_src_configure() {
-   local econf_opts=(
-   $(use_enable static-libs static)
-
-   # AX_PROG_CC_FOR_BUILD deficiency:
-   # 
https://wiki.gentoo.org/wiki/Project:Toolchain/use_native_symlinks
-   CC_FOR_BUILD="$(tc-getBUILD_CC)"
-   )
-   if ! tc-is-cross-compiler; then
-   # Incorrect CFLAGS handling as CFLAGS_FOR_BUILD
-   # even for native builds. As a result -O3 is being used
-   # regardless of user's CFLAGS.
-   econf_opts+=(
-   CFLAGS_FOR_BUILD="${CFLAGS}"
-   )
-   fi
-
-   ECONF_SOURCE="${S}" econf "${econf_opts[@]}"
-}
-
-multilib_src_install_all() {
-   einstalldocs
-   find "${ED}" -type f -name '*.la' -delete
-}
-
-pkg_preinst() {
-   preserve_old_lib \
-   /usr/$(get_libdir)/libisl$(get_libname 14) \
-   /usr/$(get_libdir)/libisl$(get_libname 15) \
-   /usr/$(get_libdir)/libisl$(get_libname 19) \
-   /usr/$(get_libdir)/libisl$(get_libname 21) \
-   /usr/$(get_libdir)/libisl$(get_libname 22)
-}
-
-pkg_postinst() {
-   preserve_old_lib_notify \
-   /usr/$(get_libdir)/libisl$(get_libname 14) \
-   /usr/$(get_libdir)/libisl$(get_libname 15) \
-   /usr/$(get_libdir)/libisl$(get_libname 19) \
-   /usr/$(get_libdir)/libisl$(get_libname 21) \
-   /usr/$(get_libdir)/libisl$(get_libname 22)
-}



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

2021-06-07 Thread Sergei Trofimovich
commit: d1626cc222510eeffddcae67998e8eb5948d13ad
Author: Sergei Trofimovich  gentoo  org>
AuthorDate: Mon Jun  7 06:27:41 2021 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Mon Jun  7 06:28:49 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d1626cc2

dev-libs/isl: stable 0.24 for ppc64

stable wrt bug #794259

Package-Manager: Portage-3.0.19, Repoman-3.0.3
RepoMan-Options: --include-arches="ppc64"
Signed-off-by: Sergei Trofimovich  gentoo.org>

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

diff --git a/dev-libs/isl/isl-0.24.ebuild b/dev-libs/isl/isl-0.24.ebuild
index 2fa16f99fd3..9b5ae94248d 100644
--- a/dev-libs/isl/isl-0.24.ebuild
+++ b/dev-libs/isl/isl-0.24.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/23"
-KEYWORDS="~alpha amd64 arm arm64 ~hppa ~ia64 ~m68k ~mips ppc ~ppc64 ~riscv 
~s390 sparc x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
+KEYWORDS="~alpha amd64 arm arm64 ~hppa ~ia64 ~m68k ~mips ppc ppc64 ~riscv 
~s390 sparc x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2021-06-06 Thread Sergei Trofimovich
commit: ef2bd2e12ac80e20171860b580fa7095d45c34c0
Author: Rolf Eike Beer  sf-mail  de>
AuthorDate: Sun Jun  6 17:23:07 2021 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Sun Jun  6 17:40:37 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ef2bd2e1

dev-libs/isl: stable 0.24 for sparc, bug #794259

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

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

diff --git a/dev-libs/isl/isl-0.24.ebuild b/dev-libs/isl/isl-0.24.ebuild
index b79fa4bb21c..1f5637299be 100644
--- a/dev-libs/isl/isl-0.24.ebuild
+++ b/dev-libs/isl/isl-0.24.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/23"
-KEYWORDS="~alpha amd64 arm arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sparc x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
+KEYWORDS="~alpha amd64 arm arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 sparc x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2021-06-05 Thread Sam James
commit: f775dd981dd373dbac1fdbfb0e887332efadb621
Author: Sam James  gentoo  org>
AuthorDate: Sat Jun  5 20:52:26 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Sat Jun  5 20:52:26 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f775dd98

dev-libs/isl: Stabilize 0.24 arm, #794259

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

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

diff --git a/dev-libs/isl/isl-0.24.ebuild b/dev-libs/isl/isl-0.24.ebuild
index acd26af8754..b79fa4bb21c 100644
--- a/dev-libs/isl/isl-0.24.ebuild
+++ b/dev-libs/isl/isl-0.24.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/23"
-KEYWORDS="~alpha amd64 ~arm arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sparc x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
+KEYWORDS="~alpha amd64 arm arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sparc x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2021-06-05 Thread Sam James
commit: ea0d973f9e2b2f9f84e85fde906e258d8b5af03b
Author: Sam James  gentoo  org>
AuthorDate: Sat Jun  5 20:40:34 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Sat Jun  5 20:43:19 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ea0d973f

dev-libs/isl: Stabilize 0.24 arm64, #794259

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

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

diff --git a/dev-libs/isl/isl-0.24.ebuild b/dev-libs/isl/isl-0.24.ebuild
index cf2fe45b00d..acd26af8754 100644
--- a/dev-libs/isl/isl-0.24.ebuild
+++ b/dev-libs/isl/isl-0.24.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/23"
-KEYWORDS="~alpha amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sparc x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
+KEYWORDS="~alpha amd64 ~arm arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sparc x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2021-06-05 Thread Sam James
commit: f785f7a44ee595fddba3950a577d087d0c3e0e50
Author: Sam James  gentoo  org>
AuthorDate: Sat Jun  5 20:36:35 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Sat Jun  5 20:43:13 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f785f7a4

dev-libs/isl: Stabilize 0.24 amd64, #794259

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

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

diff --git a/dev-libs/isl/isl-0.24.ebuild b/dev-libs/isl/isl-0.24.ebuild
index e98b9d496f6..cf2fe45b00d 100644
--- a/dev-libs/isl/isl-0.24.ebuild
+++ b/dev-libs/isl/isl-0.24.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/23"
-KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sparc x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
+KEYWORDS="~alpha amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sparc x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2021-05-02 Thread Sergei Trofimovich
commit: 611d3746e7445cf612bb4a623ebdff15879afc9d
Author: Sergei Trofimovich  gentoo  org>
AuthorDate: Sun May  2 21:31:09 2021 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Sun May  2 21:31:19 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=611d3746

dev-libs/isl: bump up to 0.24

While at it applied bashism fix by Matt Whitlock.

Fix-by: Matt Whitlock
Closes: https://bugs.gentoo.org/786564
Package-Manager: Portage-3.0.18, Repoman-3.0.3
Signed-off-by: Sergei Trofimovich  gentoo.org>

 dev-libs/isl/Manifest|  1 +
 dev-libs/isl/files/isl-0.24-nobash.patch | 35 
 dev-libs/isl/isl-0.24.ebuild | 71 
 3 files changed, 107 insertions(+)

diff --git a/dev-libs/isl/Manifest b/dev-libs/isl/Manifest
index 55a0904ac89..326d1e9eaea 100644
--- a/dev-libs/isl/Manifest
+++ b/dev-libs/isl/Manifest
@@ -1 +1,2 @@
 DIST isl-0.23.tar.xz 1729656 BLAKE2B 
ce026eaa1d6c814f4067c555d97a453bdf01d5fa240aa9b6ccd22c9a0e7f19b0c30cd834f976a29b10a5d57eaa747a3f45cf55717f05d98ae405ec93dd42f27b
 SHA512 
da4e7cbd5045d074581d4e1c212acb074a8b2345a96515151b0543cbe2601db6ac2bbd93f9ad6643e98f845b68f438f3882c05b8b90969ae542802a3c78fea20
+DIST isl-0.24.tar.xz 1930956 BLAKE2B 
39cbfd18ad05778e3a5a44429261b45e4abc3efe7730ee890674d968890fe5e52c73bc1f8d271c7c3bc72d5754e3f7fcb209bd139e823d19cb9ea4ce1440164d
 SHA512 
ff6bdcff839e1cd473f2a0c1e4dd4a3612ec6fee4544ccbc62b530a7248db2cf93b4b99bf493a86ddf2aba00e768927265d5d411f92061ea85fd7929073428e8

diff --git a/dev-libs/isl/files/isl-0.24-nobash.patch 
b/dev-libs/isl/files/isl-0.24-nobash.patch
new file mode 100644
index 000..226daa551c7
--- /dev/null
+++ b/dev-libs/isl/files/isl-0.24-nobash.patch
@@ -0,0 +1,35 @@
+Fix-by: Matt Whitlock
+Bug: https://bugs.gentoo.org/786564
+--- a/configure.ac 2020-11-01 13:53:47.0 +
 b/configure.ac 2021-04-28 19:34:28.615119537 +
+@@ -83,8 +83,8 @@
+ AM_CONDITIONAL(GMP_FOR_MP, test x$with_int = xgmp)
+ 
+ AM_CONDITIONAL(HAVE_CXX11, test "x$HAVE_CXX11" = "x1")
+-AM_CONDITIONAL(SMALL_INT_OPT, test "x$with_int" == "ximath-32")
+-AS_IF([test "x$with_int" == "ximath-32"], [
++AM_CONDITIONAL(SMALL_INT_OPT, test "x$with_int" = "ximath-32")
++AS_IF([test "x$with_int" = "ximath-32"], [
+   AC_DEFINE([USE_SMALL_INT_OPT], [], [Use small integer optimization])
+ ])
+ 
+--- a/configure2020-11-01 13:53:55.0 +
 b/configure2021-04-28 19:34:29.246125644 +
+@@ -20654,7 +20654,7 @@
+   HAVE_CXX11_FALSE=
+ fi
+ 
+- if test "x$with_int" == "ximath-32"; then
++ if test "x$with_int" = "ximath-32"; then
+   SMALL_INT_OPT_TRUE=
+   SMALL_INT_OPT_FALSE='#'
+ else
+@@ -20662,7 +20662,7 @@
+   SMALL_INT_OPT_FALSE=
+ fi
+ 
+-if test "x$with_int" == "ximath-32"; then :
++if test "x$with_int" = "ximath-32"; then :
+ 
+ 
+ $as_echo "#define USE_SMALL_INT_OPT /**/" >>confdefs.h

diff --git a/dev-libs/isl/isl-0.24.ebuild b/dev-libs/isl/isl-0.24.ebuild
new file mode 100644
index 000..5793b07aae3
--- /dev/null
+++ b/dev-libs/isl/isl-0.24.ebuild
@@ -0,0 +1,71 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="7"
+
+inherit multilib-minimal preserve-libs toolchain-funcs
+
+DESCRIPTION="A library for manipulating integer points bounded by linear 
constraints"
+HOMEPAGE="http://isl.gforge.inria.fr/;
+SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
+
+LICENSE="LGPL-2.1"
+SLOT="0/23"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sparc ~x86 ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
+IUSE="static-libs"
+
+RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"
+DEPEND="${RDEPEND}"
+BDEPEND="
+   app-arch/xz-utils
+   virtual/pkgconfig"
+
+DOCS=( ChangeLog AUTHORS doc/manual.pdf )
+
+PATCHES=(
+   "${FILESDIR}"/${PN}-0.19-gdb-autoload-dir.patch
+   "${FILESDIR}"/${PN}-0.24-nobash.patch
+)
+
+multilib_src_configure() {
+   local econf_opts=(
+   $(use_enable static-libs static)
+
+   # AX_PROG_CC_FOR_BUILD deficiency:
+   # 
https://wiki.gentoo.org/wiki/Project:Toolchain/use_native_symlinks
+   CC_FOR_BUILD="$(tc-getBUILD_CC)"
+   )
+   if ! tc-is-cross-compiler; then
+   # Incorrect CFLAGS handling as CFLAGS_FOR_BUILD
+   # even for native builds. As a result -O3 is being used
+   # regardless of user's CFLAGS.
+   econf_opts+=(
+   CFLAGS_FOR_BUILD="${CFLAGS}"
+   )
+   fi
+
+   ECONF_SOURCE="${S}" econf "${econf_opts[@]}"
+}
+
+multilib_src_install_all() {
+   einstalldocs
+   find "${ED}" -type f -name '*.la' -delete
+}
+
+pkg_preinst() {
+   preserve_old_lib \
+   /usr/$(get_libdir)/libisl$(get_libname 14) \
+   /usr/$(get_libdir)/libisl$(get_libname 15) \
+

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

2020-12-30 Thread Fabian Groffen
commit: e9c0a65d26164f6a1e3b1f6ad745c2d0de0469c6
Author: Fabian Groffen  gentoo  org>
AuthorDate: Wed Dec 30 10:27:38 2020 +
Commit: Fabian Groffen  gentoo  org>
CommitDate: Wed Dec 30 10:27:57 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e9c0a65d

dev-libs/isl-0.23-r1: marked *-macos, *-solaris

Package-Manager: Portage-3.0.9, Repoman-3.0.2
Signed-off-by: Fabian Groffen  gentoo.org>

 dev-libs/isl/isl-0.23-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/isl/isl-0.23-r1.ebuild b/dev-libs/isl/isl-0.23-r1.ebuild
index 48075003b46..fa4c7a33025 100644
--- a/dev-libs/isl/isl-0.23-r1.ebuild
+++ b/dev-libs/isl/isl-0.23-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/23"
-KEYWORDS="~alpha amd64 arm arm64 hppa ~ia64 ~m68k ~mips ppc ppc64 ~riscv s390 
sparc x86"
+KEYWORDS="~alpha amd64 arm arm64 hppa ~ia64 ~m68k ~mips ppc ppc64 ~riscv s390 
sparc x86 ~ppc-macos ~x64-macos ~x86-macos ~sparc-solaris ~sparc64-solaris 
~x64-solaris ~x86-solaris"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2020-12-27 Thread Sergei Trofimovich
commit: a7253d640acaa67e96d7e6f18f2fa5c6fdbaac3b
Author: Sergei Trofimovich  gentoo  org>
AuthorDate: Sun Dec 27 10:49:40 2020 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Sun Dec 27 10:52:16 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a7253d64

dev-libs/isl: drop old

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

 dev-libs/isl/Manifest  |  1 -
 dev-libs/isl/isl-0.22.1.ebuild | 52 --
 2 files changed, 53 deletions(-)

diff --git a/dev-libs/isl/Manifest b/dev-libs/isl/Manifest
index 9362bb67b30..55a0904ac89 100644
--- a/dev-libs/isl/Manifest
+++ b/dev-libs/isl/Manifest
@@ -1,2 +1 @@
-DIST isl-0.22.1.tar.xz 1676948 BLAKE2B 
cf1661f785344d8132e8f8a339ed8d457677ca1bf943a597d3d0be1e80d8c42e788cdde79fd073d130d681424da7a8e3ca9fa2cd4cd4232220f5c5a1ce99ab99
 SHA512 
8dc7b0c14e5bfdca8f2161be51d3c9afcd18bc217bb19b7de01dbba0c6f3fdc2b725fb999f8562c77bf2918d3005c9247f7a58474a6da7697390067944d4d4aa
 DIST isl-0.23.tar.xz 1729656 BLAKE2B 
ce026eaa1d6c814f4067c555d97a453bdf01d5fa240aa9b6ccd22c9a0e7f19b0c30cd834f976a29b10a5d57eaa747a3f45cf55717f05d98ae405ec93dd42f27b
 SHA512 
da4e7cbd5045d074581d4e1c212acb074a8b2345a96515151b0543cbe2601db6ac2bbd93f9ad6643e98f845b68f438f3882c05b8b90969ae542802a3c78fea20

diff --git a/dev-libs/isl/isl-0.22.1.ebuild b/dev-libs/isl/isl-0.22.1.ebuild
deleted file mode 100644
index 8835c838fc7..000
--- a/dev-libs/isl/isl-0.22.1.ebuild
+++ /dev/null
@@ -1,52 +0,0 @@
-# Copyright 1999-2020 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="7"
-
-inherit eutils multilib-minimal preserve-libs
-
-DESCRIPTION="A library for manipulating integer points bounded by linear 
constraints"
-HOMEPAGE="http://isl.gforge.inria.fr/;
-SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
-
-LICENSE="LGPL-2.1"
-SLOT="0/22"
-KEYWORDS="~alpha amd64 arm arm64 hppa ~ia64 ~m68k ~mips ppc ppc64 ~riscv s390 
sparc x86"
-IUSE="static-libs"
-
-RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"
-DEPEND="${RDEPEND}"
-BDEPEND="
-   app-arch/xz-utils
-   virtual/pkgconfig"
-
-DOCS=( ChangeLog AUTHORS doc/manual.pdf )
-
-PATCHES=(
-   "${FILESDIR}"/${PN}-0.19-gdb-autoload-dir.patch
-)
-
-multilib_src_configure() {
-   ECONF_SOURCE="${S}" econf $(use_enable static-libs static)
-}
-
-multilib_src_install_all() {
-   einstalldocs
-   find "${ED}" -type f -name '*.la' -delete
-}
-
-pkg_preinst() {
-   preserve_old_lib \
-   /usr/$(get_libdir)/libisl$(get_libname 14) \
-   /usr/$(get_libdir)/libisl$(get_libname 15) \
-   /usr/$(get_libdir)/libisl$(get_libname 19) \
-   /usr/$(get_libdir)/libisl$(get_libname 21)
-}
-
-pkg_postinst() {
-   preserve_old_lib_notify \
-   /usr/$(get_libdir)/libisl$(get_libname 14) \
-   /usr/$(get_libdir)/libisl$(get_libname 15) \
-   /usr/$(get_libdir)/libisl$(get_libname 19) \
-   /usr/$(get_libdir)/libisl$(get_libname 21)
-}



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

2020-12-26 Thread Sergei Trofimovich
commit: bcb322868cf0880745399d7ecb02e16524c0b398
Author: Rolf Eike Beer  sf-mail  de>
AuthorDate: Sat Dec 26 08:55:22 2020 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Sat Dec 26 09:12:57 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bcb32286

dev-libs/isl: stable 0.23-r1 for hppa, bug #760612

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

 dev-libs/isl/isl-0.23-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/isl/isl-0.23-r1.ebuild b/dev-libs/isl/isl-0.23-r1.ebuild
index 1b89c28cfb3..48075003b46 100644
--- a/dev-libs/isl/isl-0.23-r1.ebuild
+++ b/dev-libs/isl/isl-0.23-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/23"
-KEYWORDS="~alpha amd64 arm arm64 ~hppa ~ia64 ~m68k ~mips ppc ppc64 ~riscv s390 
sparc x86"
+KEYWORDS="~alpha amd64 arm arm64 hppa ~ia64 ~m68k ~mips ppc ppc64 ~riscv s390 
sparc x86"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2020-12-21 Thread Sam James
commit: 730fce07ca1172c1206fb72fe750497471fd5c7c
Author: Sam James  gentoo  org>
AuthorDate: Mon Dec 21 18:00:17 2020 +
Commit: Sam James  gentoo  org>
CommitDate: Mon Dec 21 18:01:04 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=730fce07

dev-libs/isl: Stabilize 0.23-r1 arm64, #760612

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

 dev-libs/isl/isl-0.23-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/isl/isl-0.23-r1.ebuild b/dev-libs/isl/isl-0.23-r1.ebuild
index 1b2b92589eb..1b89c28cfb3 100644
--- a/dev-libs/isl/isl-0.23-r1.ebuild
+++ b/dev-libs/isl/isl-0.23-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/23"
-KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ppc64 ~riscv 
s390 sparc x86"
+KEYWORDS="~alpha amd64 arm arm64 ~hppa ~ia64 ~m68k ~mips ppc ppc64 ~riscv s390 
sparc x86"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2020-12-21 Thread Sergei Trofimovich
commit: 82f6921cde7302dee4dca504f76b280207921654
Author: Sergei Trofimovich  gentoo  org>
AuthorDate: Mon Dec 21 09:39:55 2020 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Mon Dec 21 09:39:55 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=82f6921c

dev-libs/isl: stable 0.23-r1 for sparc

stable wrt bug #760612

Package-Manager: Portage-3.0.12, Repoman-3.0.2
RepoMan-Options: --include-arches="sparc"
Signed-off-by: Sergei Trofimovich  gentoo.org>

 dev-libs/isl/isl-0.23-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/isl/isl-0.23-r1.ebuild b/dev-libs/isl/isl-0.23-r1.ebuild
index c5865f9b59b..1b2b92589eb 100644
--- a/dev-libs/isl/isl-0.23-r1.ebuild
+++ b/dev-libs/isl/isl-0.23-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/23"
-KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ppc64 ~riscv 
s390 ~sparc x86"
+KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ppc64 ~riscv 
s390 sparc x86"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2020-12-21 Thread Sergei Trofimovich
commit: 7eb7feb45850254c949ba170e937ed7f23f5541a
Author: Sergei Trofimovich  gentoo  org>
AuthorDate: Mon Dec 21 09:38:37 2020 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Mon Dec 21 09:38:37 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7eb7feb4

dev-libs/isl: stable 0.23-r1 for ppc64

stable wrt bug #760612

Package-Manager: Portage-3.0.12, Repoman-3.0.2
RepoMan-Options: --include-arches="ppc64"
Signed-off-by: Sergei Trofimovich  gentoo.org>

 dev-libs/isl/isl-0.23-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/isl/isl-0.23-r1.ebuild b/dev-libs/isl/isl-0.23-r1.ebuild
index 674141b6f77..c5865f9b59b 100644
--- a/dev-libs/isl/isl-0.23-r1.ebuild
+++ b/dev-libs/isl/isl-0.23-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/23"
-KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ~ppc64 ~riscv 
s390 ~sparc x86"
+KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ppc64 ~riscv 
s390 ~sparc x86"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2020-12-20 Thread Sam James
commit: 642e6917155d9919d70bf97be9d9a53bade435b7
Author: Sam James  gentoo  org>
AuthorDate: Sun Dec 20 19:29:14 2020 +
Commit: Sam James  gentoo  org>
CommitDate: Sun Dec 20 19:29:14 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=642e6917

dev-libs/isl: Stabilize 0.23-r1 arm, #760612

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

 dev-libs/isl/isl-0.23-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/isl/isl-0.23-r1.ebuild b/dev-libs/isl/isl-0.23-r1.ebuild
index b1118d76a89..674141b6f77 100644
--- a/dev-libs/isl/isl-0.23-r1.ebuild
+++ b/dev-libs/isl/isl-0.23-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/23"
-KEYWORDS="~alpha amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ~ppc64 ~riscv 
s390 ~sparc x86"
+KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ~ppc64 ~riscv 
s390 ~sparc x86"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2020-12-20 Thread Sam James
commit: ea0aa8a75fae5b48155cfe169c72796aacd533d7
Author: Sam James  gentoo  org>
AuthorDate: Sun Dec 20 18:04:16 2020 +
Commit: Sam James  gentoo  org>
CommitDate: Sun Dec 20 18:04:16 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ea0aa8a7

dev-libs/isl: Stabilize 0.23-r1 amd64, #760612

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

 dev-libs/isl/isl-0.23-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/isl/isl-0.23-r1.ebuild b/dev-libs/isl/isl-0.23-r1.ebuild
index 5cc5f27ecb5..b1118d76a89 100644
--- a/dev-libs/isl/isl-0.23-r1.ebuild
+++ b/dev-libs/isl/isl-0.23-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/23"
-KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ~ppc64 ~riscv 
s390 ~sparc x86"
+KEYWORDS="~alpha amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ~ppc64 ~riscv 
s390 ~sparc x86"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2020-12-20 Thread Thomas Deutschmann
commit: e4941519ac8ff6a5e58b9186bb55823b6d41bc34
Author: Thomas Deutschmann  gentoo  org>
AuthorDate: Sun Dec 20 16:35:35 2020 +
Commit: Thomas Deutschmann  gentoo  org>
CommitDate: Sun Dec 20 16:35:35 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e4941519

dev-libs/isl: x86 stable (bug #760612)

Package-Manager: Portage-3.0.12, Repoman-3.0.2
Signed-off-by: Thomas Deutschmann  gentoo.org>

 dev-libs/isl/isl-0.23-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/isl/isl-0.23-r1.ebuild b/dev-libs/isl/isl-0.23-r1.ebuild
index 62f04e1665b..5cc5f27ecb5 100644
--- a/dev-libs/isl/isl-0.23-r1.ebuild
+++ b/dev-libs/isl/isl-0.23-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/23"
-KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ~ppc64 ~riscv 
s390 ~sparc ~x86"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ~ppc64 ~riscv 
s390 ~sparc x86"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2020-12-18 Thread Sergei Trofimovich
commit: dc2c7b36889bf4a8e34ae57d359eeb5865ad9171
Author: David Michael  gmail  com>
AuthorDate: Fri Dec 18 18:22:09 2020 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Fri Dec 18 20:38:16 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=dc2c7b36

dev-libs/isl: define BDEPEND

Closes: https://bugs.gentoo.org/760657
Package-Manager: Portage-3.0.9, Repoman-3.0.2
Signed-off-by: David Michael  gmail.com>
Signed-off-by: Sergei Trofimovich  gentoo.org>

 dev-libs/isl/isl-0.22.1.ebuild  | 3 ++-
 dev-libs/isl/isl-0.23-r1.ebuild | 3 ++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/dev-libs/isl/isl-0.22.1.ebuild b/dev-libs/isl/isl-0.22.1.ebuild
index 62d47d20a57..8835c838fc7 100644
--- a/dev-libs/isl/isl-0.22.1.ebuild
+++ b/dev-libs/isl/isl-0.22.1.ebuild
@@ -15,7 +15,8 @@ KEYWORDS="~alpha amd64 arm arm64 hppa ~ia64 ~m68k ~mips ppc 
ppc64 ~riscv s390 sp
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"
-DEPEND="${RDEPEND}
+DEPEND="${RDEPEND}"
+BDEPEND="
app-arch/xz-utils
virtual/pkgconfig"
 

diff --git a/dev-libs/isl/isl-0.23-r1.ebuild b/dev-libs/isl/isl-0.23-r1.ebuild
index 2063ece9bde..62f04e1665b 100644
--- a/dev-libs/isl/isl-0.23-r1.ebuild
+++ b/dev-libs/isl/isl-0.23-r1.ebuild
@@ -15,7 +15,8 @@ KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips 
ppc ~ppc64 ~riscv s3
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"
-DEPEND="${RDEPEND}
+DEPEND="${RDEPEND}"
+BDEPEND="
app-arch/xz-utils
virtual/pkgconfig"
 



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

2020-12-18 Thread Sam James
commit: 39c8c1d4f1d80933dd954e3871b489f4f9170133
Author: Sam James  gentoo  org>
AuthorDate: Fri Dec 18 18:21:54 2020 +
Commit: Sam James  gentoo  org>
CommitDate: Fri Dec 18 18:21:54 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=39c8c1d4

dev-libs/isl: Stabilize 0.23-r1 s390, #760612

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

 dev-libs/isl/isl-0.23-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/isl/isl-0.23-r1.ebuild b/dev-libs/isl/isl-0.23-r1.ebuild
index b5c48c90689..2063ece9bde 100644
--- a/dev-libs/isl/isl-0.23-r1.ebuild
+++ b/dev-libs/isl/isl-0.23-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/23"
-KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ~ppc64 ~riscv 
~s390 ~sparc ~x86"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ~ppc64 ~riscv 
s390 ~sparc ~x86"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2020-12-18 Thread Sam James
commit: 4d1c75c99be10f020676fe289c660d38bbe869bb
Author: Sam James  gentoo  org>
AuthorDate: Fri Dec 18 14:25:19 2020 +
Commit: Sam James  gentoo  org>
CommitDate: Fri Dec 18 14:25:19 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4d1c75c9

dev-libs/isl: Stabilize 0.23-r1 ppc, #760612

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

 dev-libs/isl/isl-0.23-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/isl/isl-0.23-r1.ebuild b/dev-libs/isl/isl-0.23-r1.ebuild
index ee79d99fae1..b5c48c90689 100644
--- a/dev-libs/isl/isl-0.23-r1.ebuild
+++ b/dev-libs/isl/isl-0.23-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/23"
-KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sparc ~x86"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ~ppc64 ~riscv 
~s390 ~sparc ~x86"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2020-11-14 Thread Sergei Trofimovich
commit: 757dba20a25a8babdc702642e7130dd0baababe4
Author: Sergei Trofimovich  gentoo  org>
AuthorDate: Sat Nov 14 19:49:39 2020 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Sat Nov 14 19:49:39 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=757dba20

dev-libs/isl: drop old

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

 dev-libs/isl/isl-0.23.ebuild | 53 
 1 file changed, 53 deletions(-)

diff --git a/dev-libs/isl/isl-0.23.ebuild b/dev-libs/isl/isl-0.23.ebuild
deleted file mode 100644
index d5363724d3a..000
--- a/dev-libs/isl/isl-0.23.ebuild
+++ /dev/null
@@ -1,53 +0,0 @@
-# Copyright 1999-2020 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="7"
-
-inherit eutils multilib-minimal preserve-libs
-
-DESCRIPTION="A library for manipulating integer points bounded by linear 
constraints"
-HOMEPAGE="http://isl.gforge.inria.fr/;
-SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
-
-LICENSE="LGPL-2.1"
-SLOT="0/23"
-KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sparc ~x86"
-IUSE="static-libs"
-
-RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"
-DEPEND="${RDEPEND}
-   app-arch/xz-utils
-   virtual/pkgconfig"
-
-DOCS=( ChangeLog AUTHORS doc/manual.pdf )
-
-PATCHES=(
-   "${FILESDIR}"/${PN}-0.19-gdb-autoload-dir.patch
-)
-
-multilib_src_configure() {
-   ECONF_SOURCE="${S}" econf $(use_enable static-libs static)
-}
-
-multilib_src_install_all() {
-   einstalldocs
-   find "${ED}" -type f -name '*.la' -delete
-}
-
-pkg_preinst() {
-   preserve_old_lib \
-   /usr/$(get_libdir)/libisl$(get_libname 14) \
-   /usr/$(get_libdir)/libisl$(get_libname 15) \
-   /usr/$(get_libdir)/libisl$(get_libname 19) \
-   /usr/$(get_libdir)/libisl$(get_libname 21) \
-   /usr/$(get_libdir)/libisl$(get_libname 22)
-}
-
-pkg_postinst() {
-   preserve_old_lib_notify \
-   /usr/$(get_libdir)/libisl$(get_libname 14) \
-   /usr/$(get_libdir)/libisl$(get_libname 15) \
-   /usr/$(get_libdir)/libisl$(get_libname 19) \
-   /usr/$(get_libdir)/libisl$(get_libname 21) \
-   /usr/$(get_libdir)/libisl$(get_libname 22)
-}



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

2020-11-13 Thread Sergei Trofimovich
commit: 4c4e0c5cf5594bbf46dc1b2c84813323c5f0c0ba
Author: Sergei Trofimovich  gentoo  org>
AuthorDate: Fri Nov 13 21:33:46 2020 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Fri Nov 13 21:34:03 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4c4e0c5c

dev-libs/isl: drop unused eutils inherid

Reported-by: David Seifert
Package-Manager: Portage-3.0.9, Repoman-3.0.2
Signed-off-by: Sergei Trofimovich  gentoo.org>

 dev-libs/isl/isl-0.23-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/isl/isl-0.23-r1.ebuild b/dev-libs/isl/isl-0.23-r1.ebuild
index 53d3620b134..ee79d99fae1 100644
--- a/dev-libs/isl/isl-0.23-r1.ebuild
+++ b/dev-libs/isl/isl-0.23-r1.ebuild
@@ -3,7 +3,7 @@
 
 EAPI="7"
 
-inherit eutils multilib-minimal preserve-libs toolchain-funcs
+inherit multilib-minimal preserve-libs toolchain-funcs
 
 DESCRIPTION="A library for manipulating integer points bounded by linear 
constraints"
 HOMEPAGE="http://isl.gforge.inria.fr/;



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

2020-11-13 Thread Sergei Trofimovich
commit: 394752107901dbc01dabc9d6bd0a176e6ac88e45
Author: Sergei Trofimovich  gentoo  org>
AuthorDate: Fri Nov 13 18:51:15 2020 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Fri Nov 13 18:51:59 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=39475210

dev-libs/isl: honor user's CC and CFLAGS

AX_PROG_CC_FOR_BUILD has unintended effect of overriding
CFLAGS with CFLAGS_FOR_BUILD. Noticed by chance while
was looking at why $CC used unexpected 'gcc' value.

https://wiki.gentoo.org/wiki/Project:Toolchain/use_native_symlinks

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

 dev-libs/isl/isl-0.23-r1.ebuild | 69 +
 1 file changed, 69 insertions(+)

diff --git a/dev-libs/isl/isl-0.23-r1.ebuild b/dev-libs/isl/isl-0.23-r1.ebuild
new file mode 100644
index 000..53d3620b134
--- /dev/null
+++ b/dev-libs/isl/isl-0.23-r1.ebuild
@@ -0,0 +1,69 @@
+# Copyright 1999-2020 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="7"
+
+inherit eutils multilib-minimal preserve-libs toolchain-funcs
+
+DESCRIPTION="A library for manipulating integer points bounded by linear 
constraints"
+HOMEPAGE="http://isl.gforge.inria.fr/;
+SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
+
+LICENSE="LGPL-2.1"
+SLOT="0/23"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sparc ~x86"
+IUSE="static-libs"
+
+RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"
+DEPEND="${RDEPEND}
+   app-arch/xz-utils
+   virtual/pkgconfig"
+
+DOCS=( ChangeLog AUTHORS doc/manual.pdf )
+
+PATCHES=(
+   "${FILESDIR}"/${PN}-0.19-gdb-autoload-dir.patch
+)
+
+multilib_src_configure() {
+   local econf_opts=(
+   $(use_enable static-libs static)
+
+   # AX_PROG_CC_FOR_BUILD deficiency:
+   # 
https://wiki.gentoo.org/wiki/Project:Toolchain/use_native_symlinks
+   CC_FOR_BUILD="$(tc-getBUILD_CC)"
+   )
+   if ! tc-is-cross-compiler; then
+   # Incorrect CFLAGS handling as CFLAGS_FOR_BUILD
+   # even for native builds. As a result -O3 is being used
+   # regardless of user's CFLAGS.
+   econf_opts+=(
+   CFLAGS_FOR_BUILD="${CFLAGS}"
+   )
+   fi
+
+   ECONF_SOURCE="${S}" econf "${econf_opts[@]}"
+}
+
+multilib_src_install_all() {
+   einstalldocs
+   find "${ED}" -type f -name '*.la' -delete
+}
+
+pkg_preinst() {
+   preserve_old_lib \
+   /usr/$(get_libdir)/libisl$(get_libname 14) \
+   /usr/$(get_libdir)/libisl$(get_libname 15) \
+   /usr/$(get_libdir)/libisl$(get_libname 19) \
+   /usr/$(get_libdir)/libisl$(get_libname 21) \
+   /usr/$(get_libdir)/libisl$(get_libname 22)
+}
+
+pkg_postinst() {
+   preserve_old_lib_notify \
+   /usr/$(get_libdir)/libisl$(get_libname 14) \
+   /usr/$(get_libdir)/libisl$(get_libname 15) \
+   /usr/$(get_libdir)/libisl$(get_libname 19) \
+   /usr/$(get_libdir)/libisl$(get_libname 21) \
+   /usr/$(get_libdir)/libisl$(get_libname 22)
+}



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

2020-11-12 Thread Anthony G. Basile
commit: 577ad9ea0f751383206b6c9db090967d05b36e2a
Author: Anthony G. Basile  gentoo  org>
AuthorDate: Thu Nov 12 21:06:52 2020 +
Commit: Anthony G. Basile  gentoo  org>
CommitDate: Thu Nov 12 21:07:13 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=577ad9ea

dev-libs/isl: add preserve_old_lib for 0.23

Package-Manager: Portage-3.0.8, Repoman-3.0.2
Signed-off-by: Anthony G. Basile  gentoo.org>

 dev-libs/isl/isl-0.23.ebuild | 6 --
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/dev-libs/isl/isl-0.23.ebuild b/dev-libs/isl/isl-0.23.ebuild
index 6c106892987..d5363724d3a 100644
--- a/dev-libs/isl/isl-0.23.ebuild
+++ b/dev-libs/isl/isl-0.23.ebuild
@@ -39,7 +39,8 @@ pkg_preinst() {
/usr/$(get_libdir)/libisl$(get_libname 14) \
/usr/$(get_libdir)/libisl$(get_libname 15) \
/usr/$(get_libdir)/libisl$(get_libname 19) \
-   /usr/$(get_libdir)/libisl$(get_libname 21)
+   /usr/$(get_libdir)/libisl$(get_libname 21) \
+   /usr/$(get_libdir)/libisl$(get_libname 22)
 }
 
 pkg_postinst() {
@@ -47,5 +48,6 @@ pkg_postinst() {
/usr/$(get_libdir)/libisl$(get_libname 14) \
/usr/$(get_libdir)/libisl$(get_libname 15) \
/usr/$(get_libdir)/libisl$(get_libname 19) \
-   /usr/$(get_libdir)/libisl$(get_libname 21)
+   /usr/$(get_libdir)/libisl$(get_libname 21) \
+   /usr/$(get_libdir)/libisl$(get_libname 22)
 }



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

2020-11-12 Thread Anthony G. Basile
commit: 845d855a3d17eaf7a0f5918210a212708c64f7d7
Author: Anthony G. Basile  gentoo  org>
AuthorDate: Thu Nov 12 20:46:58 2020 +
Commit: Anthony G. Basile  gentoo  org>
CommitDate: Thu Nov 12 20:47:12 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=845d855a

dev-libs/isl: version bump to 0.23

Package-Manager: Portage-3.0.8, Repoman-3.0.2
Signed-off-by: Anthony G. Basile  gentoo.org>

 dev-libs/isl/Manifest|  1 +
 dev-libs/isl/isl-0.23.ebuild | 51 
 2 files changed, 52 insertions(+)

diff --git a/dev-libs/isl/Manifest b/dev-libs/isl/Manifest
index ab3f442f2d3..9362bb67b30 100644
--- a/dev-libs/isl/Manifest
+++ b/dev-libs/isl/Manifest
@@ -1 +1,2 @@
 DIST isl-0.22.1.tar.xz 1676948 BLAKE2B 
cf1661f785344d8132e8f8a339ed8d457677ca1bf943a597d3d0be1e80d8c42e788cdde79fd073d130d681424da7a8e3ca9fa2cd4cd4232220f5c5a1ce99ab99
 SHA512 
8dc7b0c14e5bfdca8f2161be51d3c9afcd18bc217bb19b7de01dbba0c6f3fdc2b725fb999f8562c77bf2918d3005c9247f7a58474a6da7697390067944d4d4aa
+DIST isl-0.23.tar.xz 1729656 BLAKE2B 
ce026eaa1d6c814f4067c555d97a453bdf01d5fa240aa9b6ccd22c9a0e7f19b0c30cd834f976a29b10a5d57eaa747a3f45cf55717f05d98ae405ec93dd42f27b
 SHA512 
da4e7cbd5045d074581d4e1c212acb074a8b2345a96515151b0543cbe2601db6ac2bbd93f9ad6643e98f845b68f438f3882c05b8b90969ae542802a3c78fea20

diff --git a/dev-libs/isl/isl-0.23.ebuild b/dev-libs/isl/isl-0.23.ebuild
new file mode 100644
index 000..6c106892987
--- /dev/null
+++ b/dev-libs/isl/isl-0.23.ebuild
@@ -0,0 +1,51 @@
+# Copyright 1999-2020 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="7"
+
+inherit eutils multilib-minimal preserve-libs
+
+DESCRIPTION="A library for manipulating integer points bounded by linear 
constraints"
+HOMEPAGE="http://isl.gforge.inria.fr/;
+SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
+
+LICENSE="LGPL-2.1"
+SLOT="0/23"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sparc ~x86"
+IUSE="static-libs"
+
+RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"
+DEPEND="${RDEPEND}
+   app-arch/xz-utils
+   virtual/pkgconfig"
+
+DOCS=( ChangeLog AUTHORS doc/manual.pdf )
+
+PATCHES=(
+   "${FILESDIR}"/${PN}-0.19-gdb-autoload-dir.patch
+)
+
+multilib_src_configure() {
+   ECONF_SOURCE="${S}" econf $(use_enable static-libs static)
+}
+
+multilib_src_install_all() {
+   einstalldocs
+   find "${ED}" -type f -name '*.la' -delete
+}
+
+pkg_preinst() {
+   preserve_old_lib \
+   /usr/$(get_libdir)/libisl$(get_libname 14) \
+   /usr/$(get_libdir)/libisl$(get_libname 15) \
+   /usr/$(get_libdir)/libisl$(get_libname 19) \
+   /usr/$(get_libdir)/libisl$(get_libname 21)
+}
+
+pkg_postinst() {
+   preserve_old_lib_notify \
+   /usr/$(get_libdir)/libisl$(get_libname 14) \
+   /usr/$(get_libdir)/libisl$(get_libname 15) \
+   /usr/$(get_libdir)/libisl$(get_libname 19) \
+   /usr/$(get_libdir)/libisl$(get_libname 21)
+}



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

2020-07-06 Thread Sergei Trofimovich
commit: 75b8162fe5349d5ef73954b9332c0889ca894360
Author: Michael Mair-Keimberger  gmail  com>
AuthorDate: Mon Jul  6 17:23:30 2020 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Mon Jul  6 18:40:28 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=75b8162f

dev-libs/isl: remove unused patch

Package-Manager: Portage-2.3.103, Repoman-2.3.23
Signed-off-by: Michael Mair-Keimberger  gmail.com>
Closes: https://github.com/gentoo/gentoo/pull/16613
Signed-off-by: Sergei Trofimovich  gentoo.org>

 dev-libs/isl/files/isl-0.07-gdb-autoload-dir.patch | 17 -
 1 file changed, 17 deletions(-)

diff --git a/dev-libs/isl/files/isl-0.07-gdb-autoload-dir.patch 
b/dev-libs/isl/files/isl-0.07-gdb-autoload-dir.patch
deleted file mode 100644
index 58e80b29687..000
--- a/dev-libs/isl/files/isl-0.07-gdb-autoload-dir.patch
+++ /dev/null
@@ -1,17 +0,0 @@
-Install python module into gdb auto-load directory.
-
 a/Makefile.in
-+++ b/Makefile.in
-@@ -2189,9 +2189,9 @@ install-data-local: $(srcdir)/isl.py
-   case $$libisl in \
-   '') echo Cannot find isl library name. GDB bindings not installed.;; \
-   *) echo $(INSTALL_DATA) $(srcdir)/isl.py \
--  $(DESTDIR)$(libdir)/$$libisl-gdb.py; \
--  test -z "$(libdir)" || $(MKDIR_P) "$(DESTDIR)$(libdir)"; \
--  $(INSTALL_DATA) $(srcdir)/isl.py $(DESTDIR)$(libdir)/$$libisl-gdb.py; 
esac
-+  
$(DESTDIR)$(prefix)/share/gdb/auto-load$(libdir)/$$libisl-gdb.py; \
-+  test -z "$(libdir)" || $(MKDIR_P) 
"$(DESTDIR)$(prefix)/share/gdb/auto-load$(libdir)"; \
-+  $(INSTALL_DATA) $(srcdir)/isl.py 
$(DESTDIR)$(prefix)/share/gdb/auto-load$(libdir)/$$libisl-gdb.py; esac
- 
- # Tell versions [3.59,3.63) of GNU make to not export all variables.
- # Otherwise a system limit (for SysV at least) may be exceeded.



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

2020-07-05 Thread Sergei Trofimovich
commit: 2c0933475f18e1b12eeb8700ddf8156275f14a6e
Author: Sergei Trofimovich  gentoo  org>
AuthorDate: Sun Jul  5 11:06:47 2020 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Sun Jul  5 11:06:47 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2c093347

dev-libs/isl: drop old

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

 dev-libs/isl/Manifest  |  1 -
 dev-libs/isl/isl-0.12.2.ebuild | 38 --
 2 files changed, 39 deletions(-)

diff --git a/dev-libs/isl/Manifest b/dev-libs/isl/Manifest
index cc1f62d7b15..ab3f442f2d3 100644
--- a/dev-libs/isl/Manifest
+++ b/dev-libs/isl/Manifest
@@ -1,2 +1 @@
-DIST isl-0.12.2.tar.bz2 1319434 BLAKE2B 
53f009dc8093fb3d7d2db40db8f6fd9d7de630777e0308ac3c5918c2c106eda0edd7451df18c954ed6c9fc3ed7d18c73708d7b1f94c8c5c55aa94f8845f5b219
 SHA512 
b5dea4d6b504fac22f2d8cd9c47d6896994d3966635a514d45010243db44cfbc009574b808f3587f35d91de629110bc11b52941d4075e21f8646c59656e62aea
 DIST isl-0.22.1.tar.xz 1676948 BLAKE2B 
cf1661f785344d8132e8f8a339ed8d457677ca1bf943a597d3d0be1e80d8c42e788cdde79fd073d130d681424da7a8e3ca9fa2cd4cd4232220f5c5a1ce99ab99
 SHA512 
8dc7b0c14e5bfdca8f2161be51d3c9afcd18bc217bb19b7de01dbba0c6f3fdc2b725fb999f8562c77bf2918d3005c9247f7a58474a6da7697390067944d4d4aa

diff --git a/dev-libs/isl/isl-0.12.2.ebuild b/dev-libs/isl/isl-0.12.2.ebuild
deleted file mode 100644
index 5dceee321ad..000
--- a/dev-libs/isl/isl-0.12.2.ebuild
+++ /dev/null
@@ -1,38 +0,0 @@
-# Copyright 1999-2020 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="5"
-
-inherit eutils ltprune multilib-minimal
-
-DESCRIPTION="A library for manipulating integer points bounded by linear 
constraints"
-HOMEPAGE="http://isl.gforge.inria.fr/;
-SRC_URI="http://isl.gforge.inria.fr/${P}.tar.bz2;
-
-LICENSE="LGPL-2.1"
-SLOT="0/10"
-KEYWORDS="~alpha amd64 arm arm64 ~hppa ~ia64 ~m68k ~mips ppc ppc64 s390 sparc 
x86"
-IUSE="static-libs"
-
-RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"
-DEPEND="${RDEPEND}
-   virtual/pkgconfig"
-
-DOCS=( ChangeLog AUTHORS doc/manual.pdf )
-
-src_prepare() {
-   epatch "${FILESDIR}"/${PN}-0.07-gdb-autoload-dir.patch
-
-   # m4/ax_create_pkgconfig_info.m4 is broken but avoid eautoreconf
-   # https://groups.google.com/group/isl-development/t/37ad876557e50f2c
-   sed -i -e '/Libs:/s:@LDFLAGS@ ::' configure || die #382737
-}
-
-multilib_src_configure() {
-   ECONF_SOURCE="${S}" econf $(use_enable static-libs static)
-}
-
-multilib_src_install_all() {
-   einstalldocs
-   prune_libtool_files
-}



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

2020-05-21 Thread Sergei Trofimovich
commit: 3933fab363f87b3a69bc2a59c9d3abe8ed094788
Author: Michael Mair-Keimberger  gmail  com>
AuthorDate: Wed May 20 15:30:45 2020 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Thu May 21 08:22:43 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3933fab3

dev-libs/isl: remove unused patch

Package-Manager: Portage-2.3.99, Repoman-2.3.22
Signed-off-by: Michael Mair-Keimberger  gmail.com>
Signed-off-by: Sergei Trofimovich  gentoo.org>

 dev-libs/isl/files/isl-0.22-bmap-nullderef.patch | 34 
 1 file changed, 34 deletions(-)

diff --git a/dev-libs/isl/files/isl-0.22-bmap-nullderef.patch 
b/dev-libs/isl/files/isl-0.22-bmap-nullderef.patch
deleted file mode 100644
index 00104f1f432..000
--- a/dev-libs/isl/files/isl-0.22-bmap-nullderef.patch
+++ /dev/null
@@ -1,34 +0,0 @@
-https://groups.google.com/forum/#!original/isl-development/Otz1QKZDpzA/71GkTvqkCAAJ
-https://bugs.gentoo.org/702968
-
-Subject: [MAINT PATCH] isl_basic_map_underlying_set: fix error handling
-Date: Tue,  7 Jan 2020 23:02:42 +0100
-Message-Id: <20200107220242...@kotnet.org>
-X-Mailer: git-send-email 2.24.1.591.g12029dc57d
-MIME-Version: 1.0
-Content-Transfer-Encoding: 8bit
-From: Sven Verdoolaege 
-
-The check for a valid bmap before accessing its n_div field
-was inadvertently removed in isl-0.21-230-g6a4c4bbf31 (isl_map.c:
-extract out shared isl_basic_map_{take,restore}_space,
-Thu Aug 11 10:27:49 2016 +0200).
-
-Reported-by: Richard Biener 
-Signed-off-by: Sven Verdoolaege 

- isl_map.c | 2 ++
- 1 file changed, 2 insertions(+)
 a/isl_map.c
-+++ b/isl_map.c
-@@ -5511,6 +5511,8 @@ __isl_give isl_basic_set *isl_basic_map_underlying_set(
-   !isl_space_is_named_or_nested(bmap->dim, isl_dim_out))
-   return bset_from_bmap(bmap);
-   bmap = isl_basic_map_cow(bmap);
-+  if (!bmap)
-+  return NULL;
-   space = isl_basic_map_take_space(bmap);
-   space = isl_space_underlying(space, bmap->n_div);
-   bmap = isl_basic_map_restore_space(bmap, space);
--- 
-2.24.1.591.g12029dc57d



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

2020-05-02 Thread Sergei Trofimovich
commit: 73e05c283005747a472d97170d476da00cabcf48
Author: Sergei Trofimovich  gentoo  org>
AuthorDate: Sat May  2 17:43:23 2020 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Sat May  2 17:51:30 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=73e05c28

dev-libs/isl: drop old

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

 dev-libs/isl/Manifest|  1 -
 dev-libs/isl/isl-0.21.ebuild | 49 
 2 files changed, 50 deletions(-)

diff --git a/dev-libs/isl/Manifest b/dev-libs/isl/Manifest
index bc4345ac297..cc1f62d7b15 100644
--- a/dev-libs/isl/Manifest
+++ b/dev-libs/isl/Manifest
@@ -1,3 +1,2 @@
 DIST isl-0.12.2.tar.bz2 1319434 BLAKE2B 
53f009dc8093fb3d7d2db40db8f6fd9d7de630777e0308ac3c5918c2c106eda0edd7451df18c954ed6c9fc3ed7d18c73708d7b1f94c8c5c55aa94f8845f5b219
 SHA512 
b5dea4d6b504fac22f2d8cd9c47d6896994d3966635a514d45010243db44cfbc009574b808f3587f35d91de629110bc11b52941d4075e21f8646c59656e62aea
-DIST isl-0.21.tar.xz 1621680 BLAKE2B 
ffd0c8aa7d489283ac958c280c05fe0c9ad621a10bd157d0522ac209a58e9bb6a8aad76c7a49b42d5e1c0f3605d0fb05a41ed6f2bb9aabb4f06060a5bbb65de5
 SHA512 
87ebc2fd6d4325cdfa82295a659ed6dbd70760a776b733e5503bbf8baa8fe80d905879728e9c7f23d2f3bcd7e78c00a66ab166c013ae97b603f7c460c69668ec
 DIST isl-0.22.1.tar.xz 1676948 BLAKE2B 
cf1661f785344d8132e8f8a339ed8d457677ca1bf943a597d3d0be1e80d8c42e788cdde79fd073d130d681424da7a8e3ca9fa2cd4cd4232220f5c5a1ce99ab99
 SHA512 
8dc7b0c14e5bfdca8f2161be51d3c9afcd18bc217bb19b7de01dbba0c6f3fdc2b725fb999f8562c77bf2918d3005c9247f7a58474a6da7697390067944d4d4aa

diff --git a/dev-libs/isl/isl-0.21.ebuild b/dev-libs/isl/isl-0.21.ebuild
deleted file mode 100644
index c02f6eb30f7..000
--- a/dev-libs/isl/isl-0.21.ebuild
+++ /dev/null
@@ -1,49 +0,0 @@
-# Copyright 1999-2020 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="6"
-
-inherit eutils multilib-minimal preserve-libs
-
-DESCRIPTION="A library for manipulating integer points bounded by linear 
constraints"
-HOMEPAGE="http://isl.gforge.inria.fr/;
-SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
-
-LICENSE="LGPL-2.1"
-SLOT="0/21"
-KEYWORDS="~alpha amd64 arm arm64 hppa ~ia64 ~m68k ~mips ppc ppc64 ~riscv s390 
sparc x86"
-IUSE="static-libs"
-
-RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"
-DEPEND="${RDEPEND}
-   app-arch/xz-utils
-   virtual/pkgconfig"
-
-DOCS=( ChangeLog AUTHORS doc/manual.pdf )
-
-PATCHES=(
-   "${FILESDIR}"/${PN}-0.19-gdb-autoload-dir.patch
-)
-
-multilib_src_configure() {
-   ECONF_SOURCE="${S}" econf $(use_enable static-libs static)
-}
-
-multilib_src_install_all() {
-   einstalldocs
-   find "${ED}" -type f -name '*.la' -delete
-}
-
-pkg_preinst() {
-   preserve_old_lib \
-   /usr/$(get_libdir)/libisl$(get_libname 14) \
-   /usr/$(get_libdir)/libisl$(get_libname 15) \
-   /usr/$(get_libdir)/libisl$(get_libname 19)
-}
-
-pkg_postinst() {
-   preserve_old_lib_notify \
-   /usr/$(get_libdir)/libisl$(get_libname 14) \
-   /usr/$(get_libdir)/libisl$(get_libname 15) \
-   /usr/$(get_libdir)/libisl$(get_libname 19)
-}



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

2020-04-08 Thread Mart Raudsepp
commit: a6e54ac048a8a87c3350f7d0a0f8fb53f70f85fd
Author: Mart Raudsepp  gentoo  org>
AuthorDate: Wed Apr  8 22:24:43 2020 +
Commit: Mart Raudsepp  gentoo  org>
CommitDate: Wed Apr  8 22:24:43 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a6e54ac0

dev-libs/isl: arm64 stable (bug #711384)

Package-Manager: Portage-2.3.84, Repoman-2.3.20
Signed-off-by: Mart Raudsepp  gentoo.org>

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

diff --git a/dev-libs/isl/isl-0.22.1.ebuild b/dev-libs/isl/isl-0.22.1.ebuild
index df6008ddda7..62d47d20a57 100644
--- a/dev-libs/isl/isl-0.22.1.ebuild
+++ b/dev-libs/isl/isl-0.22.1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/22"
-KEYWORDS="~alpha amd64 arm ~arm64 hppa ~ia64 ~m68k ~mips ppc ppc64 ~riscv s390 
sparc x86"
+KEYWORDS="~alpha amd64 arm arm64 hppa ~ia64 ~m68k ~mips ppc ppc64 ~riscv s390 
sparc x86"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2020-03-23 Thread Sergei Trofimovich
commit: e7b04368fbc6039c6d8542dca0a1aa37ef8e8b92
Author: Sergei Trofimovich  gentoo  org>
AuthorDate: Mon Mar 23 23:55:09 2020 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Mon Mar 23 23:57:58 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e7b04368

dev-libs/isl: drop old

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

 dev-libs/isl/Manifest   |  1 -
 dev-libs/isl/isl-0.22-r1.ebuild | 52 -
 dev-libs/isl/isl-0.22.ebuild| 51 
 3 files changed, 104 deletions(-)

diff --git a/dev-libs/isl/Manifest b/dev-libs/isl/Manifest
index f6945700941..bc4345ac297 100644
--- a/dev-libs/isl/Manifest
+++ b/dev-libs/isl/Manifest
@@ -1,4 +1,3 @@
 DIST isl-0.12.2.tar.bz2 1319434 BLAKE2B 
53f009dc8093fb3d7d2db40db8f6fd9d7de630777e0308ac3c5918c2c106eda0edd7451df18c954ed6c9fc3ed7d18c73708d7b1f94c8c5c55aa94f8845f5b219
 SHA512 
b5dea4d6b504fac22f2d8cd9c47d6896994d3966635a514d45010243db44cfbc009574b808f3587f35d91de629110bc11b52941d4075e21f8646c59656e62aea
 DIST isl-0.21.tar.xz 1621680 BLAKE2B 
ffd0c8aa7d489283ac958c280c05fe0c9ad621a10bd157d0522ac209a58e9bb6a8aad76c7a49b42d5e1c0f3605d0fb05a41ed6f2bb9aabb4f06060a5bbb65de5
 SHA512 
87ebc2fd6d4325cdfa82295a659ed6dbd70760a776b733e5503bbf8baa8fe80d905879728e9c7f23d2f3bcd7e78c00a66ab166c013ae97b603f7c460c69668ec
 DIST isl-0.22.1.tar.xz 1676948 BLAKE2B 
cf1661f785344d8132e8f8a339ed8d457677ca1bf943a597d3d0be1e80d8c42e788cdde79fd073d130d681424da7a8e3ca9fa2cd4cd4232220f5c5a1ce99ab99
 SHA512 
8dc7b0c14e5bfdca8f2161be51d3c9afcd18bc217bb19b7de01dbba0c6f3fdc2b725fb999f8562c77bf2918d3005c9247f7a58474a6da7697390067944d4d4aa
-DIST isl-0.22.tar.xz 1676992 BLAKE2B 
1cb2125761adec02d9f337e8730faa5bc3a4e63cb7d968f7f4de3a3360b1f9be6caf6a27031f02df1ebe149fb70b6a32bdddbe8ae03032b8ff366f4eac274483
 SHA512 
7c3c9502ea07e4d47a823841837c3aa0b9d7ba0fe58deaf180734e44c18e53735ec783645da0bdc56b617c9e639b226cc03b40a947f852e1e787166a64f59424

diff --git a/dev-libs/isl/isl-0.22-r1.ebuild b/dev-libs/isl/isl-0.22-r1.ebuild
deleted file mode 100644
index 7d4daa2e54a..000
--- a/dev-libs/isl/isl-0.22-r1.ebuild
+++ /dev/null
@@ -1,52 +0,0 @@
-# Copyright 1999-2020 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="7"
-
-inherit eutils multilib-minimal preserve-libs
-
-DESCRIPTION="A library for manipulating integer points bounded by linear 
constraints"
-HOMEPAGE="http://isl.gforge.inria.fr/;
-SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
-
-LICENSE="LGPL-2.1"
-SLOT="0/22"
-KEYWORDS="~alpha amd64 arm ~arm64 hppa ia64 ~m68k ~mips ppc ppc64 ~riscv s390 
~sh sparc x86"
-IUSE="static-libs"
-
-RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"
-DEPEND="${RDEPEND}
-   app-arch/xz-utils
-   virtual/pkgconfig"
-
-DOCS=( ChangeLog AUTHORS doc/manual.pdf )
-
-PATCHES=(
-   "${FILESDIR}"/${PN}-0.19-gdb-autoload-dir.patch
-   "${FILESDIR}"/${PN}-0.22-bmap-nullderef.patch
-)
-
-multilib_src_configure() {
-   ECONF_SOURCE="${S}" econf $(use_enable static-libs static)
-}
-
-multilib_src_install_all() {
-   einstalldocs
-   find "${ED}" -type f -name '*.la' -delete
-}
-
-pkg_preinst() {
-   preserve_old_lib \
-   /usr/$(get_libdir)/libisl$(get_libname 14) \
-   /usr/$(get_libdir)/libisl$(get_libname 15) \
-   /usr/$(get_libdir)/libisl$(get_libname 19) \
-   /usr/$(get_libdir)/libisl$(get_libname 21)
-}
-
-pkg_postinst() {
-   preserve_old_lib_notify \
-   /usr/$(get_libdir)/libisl$(get_libname 14) \
-   /usr/$(get_libdir)/libisl$(get_libname 15) \
-   /usr/$(get_libdir)/libisl$(get_libname 19) \
-   /usr/$(get_libdir)/libisl$(get_libname 21)
-}

diff --git a/dev-libs/isl/isl-0.22.ebuild b/dev-libs/isl/isl-0.22.ebuild
deleted file mode 100644
index ece2ffe52ba..000
--- a/dev-libs/isl/isl-0.22.ebuild
+++ /dev/null
@@ -1,51 +0,0 @@
-# Copyright 1999-2019 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="6"
-
-inherit eutils multilib-minimal preserve-libs
-
-DESCRIPTION="A library for manipulating integer points bounded by linear 
constraints"
-HOMEPAGE="http://isl.gforge.inria.fr/;
-SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
-
-LICENSE="LGPL-2.1"
-SLOT="0/22"
-KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sh ~sparc ~x86"
-IUSE="static-libs"
-
-RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"
-DEPEND="${RDEPEND}
-   app-arch/xz-utils
-   virtual/pkgconfig"
-
-DOCS=( ChangeLog AUTHORS doc/manual.pdf )
-
-PATCHES=(
-   "${FILESDIR}"/${PN}-0.19-gdb-autoload-dir.patch
-)
-
-multilib_src_configure() {
-   ECONF_SOURCE="${S}" econf $(use_enable static-libs static)
-}
-
-multilib_src_install_all() {
-   einstalldocs
-   find "${ED}" -type f -name 

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

2020-03-08 Thread Sergei Trofimovich
commit: edb6f914aec1c9de529c908c8c48f9753e1bacd2
Author: Rolf Eike Beer  sf-mail  de>
AuthorDate: Sun Mar  8 09:01:31 2020 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Sun Mar  8 09:58:46 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=edb6f914

dev-libs/isl: stable 0.22.1 for hppa, bug #711384

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/isl/isl-0.22.1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/isl/isl-0.22.1.ebuild b/dev-libs/isl/isl-0.22.1.ebuild
index 6ec1a4501d4..55b3f3069fe 100644
--- a/dev-libs/isl/isl-0.22.1.ebuild
+++ b/dev-libs/isl/isl-0.22.1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/22"
-KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ia64 ~m68k ~mips ppc ppc64 ~riscv s390 
~sh sparc x86"
+KEYWORDS="~alpha amd64 arm ~arm64 hppa ia64 ~m68k ~mips ppc ppc64 ~riscv s390 
~sh sparc x86"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2020-03-04 Thread Agostino Sarubbo
commit: 4b0984f89f84e54fd640e77d08b01b736c9e391b
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Wed Mar  4 08:07:39 2020 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Wed Mar  4 08:07:39 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4b0984f8

dev-libs/isl: ia64 stable wrt bug #711384

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

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

diff --git a/dev-libs/isl/isl-0.22.1.ebuild b/dev-libs/isl/isl-0.22.1.ebuild
index c7f5cca99cc..6ec1a4501d4 100644
--- a/dev-libs/isl/isl-0.22.1.ebuild
+++ b/dev-libs/isl/isl-0.22.1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/22"
-KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ppc64 ~riscv 
s390 ~sh sparc x86"
+KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ia64 ~m68k ~mips ppc ppc64 ~riscv s390 
~sh sparc x86"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2020-03-03 Thread Agostino Sarubbo
commit: fef9c511bd75b7f374f0d876805f1ff9ab0c02ea
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Tue Mar  3 14:38:26 2020 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Tue Mar  3 14:38:26 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fef9c511

dev-libs/isl: ppc64 stable wrt bug #711384

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

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

diff --git a/dev-libs/isl/isl-0.22.1.ebuild b/dev-libs/isl/isl-0.22.1.ebuild
index 620c4430bfa..c7f5cca99cc 100644
--- a/dev-libs/isl/isl-0.22.1.ebuild
+++ b/dev-libs/isl/isl-0.22.1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/22"
-KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ~ppc64 ~riscv 
s390 ~sh sparc x86"
+KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ppc64 ~riscv 
s390 ~sh sparc x86"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2020-03-03 Thread Agostino Sarubbo
commit: 7968ecaf31db69fc42d9dabac4198ed4a5fecd4f
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Tue Mar  3 13:41:25 2020 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Tue Mar  3 13:41:25 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7968ecaf

dev-libs/isl: arm stable wrt bug #711384

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

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

diff --git a/dev-libs/isl/isl-0.22.1.ebuild b/dev-libs/isl/isl-0.22.1.ebuild
index 897e5a123b2..620c4430bfa 100644
--- a/dev-libs/isl/isl-0.22.1.ebuild
+++ b/dev-libs/isl/isl-0.22.1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/22"
-KEYWORDS="~alpha amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ~ppc64 ~riscv 
s390 ~sh sparc x86"
+KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ~ppc64 ~riscv 
s390 ~sh sparc x86"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2020-03-03 Thread Agostino Sarubbo
commit: d86701ebc872637a9bd9303042bfc4973b0d12ef
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Tue Mar  3 12:36:23 2020 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Tue Mar  3 12:36:23 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d86701eb

dev-libs/isl: s390 stable wrt bug #711384

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

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

diff --git a/dev-libs/isl/isl-0.22.1.ebuild b/dev-libs/isl/isl-0.22.1.ebuild
index 1e90dcf929b..897e5a123b2 100644
--- a/dev-libs/isl/isl-0.22.1.ebuild
+++ b/dev-libs/isl/isl-0.22.1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/22"
-KEYWORDS="~alpha amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ~ppc64 ~riscv 
~s390 ~sh sparc x86"
+KEYWORDS="~alpha amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ~ppc64 ~riscv 
s390 ~sh sparc x86"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2020-03-03 Thread Agostino Sarubbo
commit: 9972470f10674c2d335de7780033fecaaf7310b2
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Tue Mar  3 11:58:17 2020 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Tue Mar  3 11:58:17 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9972470f

dev-libs/isl: ppc stable wrt bug #711384

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

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

diff --git a/dev-libs/isl/isl-0.22.1.ebuild b/dev-libs/isl/isl-0.22.1.ebuild
index f8fe47e2bca..1e90dcf929b 100644
--- a/dev-libs/isl/isl-0.22.1.ebuild
+++ b/dev-libs/isl/isl-0.22.1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/22"
-KEYWORDS="~alpha amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sh sparc x86"
+KEYWORDS="~alpha amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ~ppc64 ~riscv 
~s390 ~sh sparc x86"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2020-03-03 Thread Agostino Sarubbo
commit: 24819f5b8b8362ee5223559932c7a1d099e1cee2
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Tue Mar  3 11:31:17 2020 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Tue Mar  3 11:31:17 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=24819f5b

dev-libs/isl: amd64 stable wrt bug #711384

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

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

diff --git a/dev-libs/isl/isl-0.22.1.ebuild b/dev-libs/isl/isl-0.22.1.ebuild
index e201908123b..f8fe47e2bca 100644
--- a/dev-libs/isl/isl-0.22.1.ebuild
+++ b/dev-libs/isl/isl-0.22.1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/22"
-KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sh sparc x86"
+KEYWORDS="~alpha amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sh sparc x86"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2020-03-03 Thread Agostino Sarubbo
commit: a4be8f362485aa5e53da4d4cafef4d23b350df26
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Tue Mar  3 11:20:44 2020 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Tue Mar  3 11:20:44 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a4be8f36

dev-libs/isl: x86 stable wrt bug #711384

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

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

diff --git a/dev-libs/isl/isl-0.22.1.ebuild b/dev-libs/isl/isl-0.22.1.ebuild
index 673672326b9..e201908123b 100644
--- a/dev-libs/isl/isl-0.22.1.ebuild
+++ b/dev-libs/isl/isl-0.22.1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/22"
-KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sh sparc ~x86"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sh sparc x86"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2020-03-03 Thread Agostino Sarubbo
commit: ef8a0aadc95b879aafd1d6d7a293f123c64a26ab
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Tue Mar  3 11:08:09 2020 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Tue Mar  3 11:08:09 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ef8a0aad

dev-libs/isl: sparc stable wrt bug #711384

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

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

diff --git a/dev-libs/isl/isl-0.22.1.ebuild b/dev-libs/isl/isl-0.22.1.ebuild
index 6e8e6081964..673672326b9 100644
--- a/dev-libs/isl/isl-0.22.1.ebuild
+++ b/dev-libs/isl/isl-0.22.1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/22"
-KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sh ~sparc ~x86"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sh sparc ~x86"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2020-02-13 Thread Sergei Trofimovich
commit: e9a21bb1247baab5177f3ba21973bd31d51a31fc
Author: Rolf Eike Beer  sf-mail  de>
AuthorDate: Thu Feb 13 17:09:28 2020 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Thu Feb 13 19:52:12 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e9a21bb1

dev-libs/isl: stable 0.22-r1 for hppa, bug #709436

Package-Manager: Portage-2.3.84, 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/isl/isl-0.22-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/isl/isl-0.22-r1.ebuild b/dev-libs/isl/isl-0.22-r1.ebuild
index c0d42d3e336..7d4daa2e54a 100644
--- a/dev-libs/isl/isl-0.22-r1.ebuild
+++ b/dev-libs/isl/isl-0.22-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/22"
-KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ia64 ~m68k ~mips ppc ppc64 ~riscv s390 
~sh sparc x86"
+KEYWORDS="~alpha amd64 arm ~arm64 hppa ia64 ~m68k ~mips ppc ppc64 ~riscv s390 
~sh sparc x86"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2020-02-13 Thread Agostino Sarubbo
commit: df07d6b5912f8c4dc3c068462c829ecb1da4dd0b
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Thu Feb 13 13:02:35 2020 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Thu Feb 13 13:02:35 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=df07d6b5

dev-libs/isl: s390 stable wrt bug #709436

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

 dev-libs/isl/isl-0.22-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/isl/isl-0.22-r1.ebuild b/dev-libs/isl/isl-0.22-r1.ebuild
index 12dbc2af97a..c0d42d3e336 100644
--- a/dev-libs/isl/isl-0.22-r1.ebuild
+++ b/dev-libs/isl/isl-0.22-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/22"
-KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ia64 ~m68k ~mips ppc ppc64 ~riscv 
~s390 ~sh sparc x86"
+KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ia64 ~m68k ~mips ppc ppc64 ~riscv s390 
~sh sparc x86"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2020-02-13 Thread Agostino Sarubbo
commit: 99454b671e3c0ad065d068ebd311ceaab08b26ed
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Thu Feb 13 12:45:06 2020 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Thu Feb 13 12:45:06 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=99454b67

dev-libs/isl: x86 stable wrt bug #709436

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

 dev-libs/isl/isl-0.22-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/isl/isl-0.22-r1.ebuild b/dev-libs/isl/isl-0.22-r1.ebuild
index 138e3fa4e1c..12dbc2af97a 100644
--- a/dev-libs/isl/isl-0.22-r1.ebuild
+++ b/dev-libs/isl/isl-0.22-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/22"
-KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ia64 ~m68k ~mips ppc ppc64 ~riscv 
~s390 ~sh sparc ~x86"
+KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ia64 ~m68k ~mips ppc ppc64 ~riscv 
~s390 ~sh sparc x86"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2020-02-13 Thread Agostino Sarubbo
commit: 9249a1cca0be9cdef7333fb05c4b794aab79f6ff
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Thu Feb 13 12:38:54 2020 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Thu Feb 13 12:38:54 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9249a1cc

dev-libs/isl: ppc stable wrt bug #709436

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

 dev-libs/isl/isl-0.22-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/isl/isl-0.22-r1.ebuild b/dev-libs/isl/isl-0.22-r1.ebuild
index a53d38406d0..138e3fa4e1c 100644
--- a/dev-libs/isl/isl-0.22-r1.ebuild
+++ b/dev-libs/isl/isl-0.22-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/22"
-KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ia64 ~m68k ~mips ~ppc ppc64 ~riscv 
~s390 ~sh sparc ~x86"
+KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ia64 ~m68k ~mips ppc ppc64 ~riscv 
~s390 ~sh sparc ~x86"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2020-02-13 Thread Agostino Sarubbo
commit: dc1550c7b00ed62857ca3edba3f36e697bc8762e
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Thu Feb 13 12:27:23 2020 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Thu Feb 13 12:27:23 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=dc1550c7

dev-libs/isl: ia64 stable wrt bug #709436

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

 dev-libs/isl/isl-0.22-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/isl/isl-0.22-r1.ebuild b/dev-libs/isl/isl-0.22-r1.ebuild
index fe882525d77..a53d38406d0 100644
--- a/dev-libs/isl/isl-0.22-r1.ebuild
+++ b/dev-libs/isl/isl-0.22-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/22"
-KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ppc64 ~riscv 
~s390 ~sh sparc ~x86"
+KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ia64 ~m68k ~mips ~ppc ppc64 ~riscv 
~s390 ~sh sparc ~x86"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2020-02-13 Thread Agostino Sarubbo
commit: 7c57bf00dc6993922df0dc401201a21cce1476a7
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Thu Feb 13 12:19:23 2020 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Thu Feb 13 12:19:23 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7c57bf00

dev-libs/isl: arm stable wrt bug #709436

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

 dev-libs/isl/isl-0.22-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/isl/isl-0.22-r1.ebuild b/dev-libs/isl/isl-0.22-r1.ebuild
index b36ace3d29a..fe882525d77 100644
--- a/dev-libs/isl/isl-0.22-r1.ebuild
+++ b/dev-libs/isl/isl-0.22-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/22"
-KEYWORDS="~alpha amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ppc64 ~riscv 
~s390 ~sh sparc ~x86"
+KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ppc64 ~riscv 
~s390 ~sh sparc ~x86"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2020-02-13 Thread Agostino Sarubbo
commit: 5ae6cf323aff054ad5abe5bab453fc325385009c
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Thu Feb 13 12:10:08 2020 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Thu Feb 13 12:10:08 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5ae6cf32

dev-libs/isl: ppc64 stable wrt bug #709436

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

 dev-libs/isl/isl-0.22-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/isl/isl-0.22-r1.ebuild b/dev-libs/isl/isl-0.22-r1.ebuild
index 55972026d0c..b36ace3d29a 100644
--- a/dev-libs/isl/isl-0.22-r1.ebuild
+++ b/dev-libs/isl/isl-0.22-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/22"
-KEYWORDS="~alpha amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sh sparc ~x86"
+KEYWORDS="~alpha amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ppc64 ~riscv 
~s390 ~sh sparc ~x86"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2020-02-13 Thread Agostino Sarubbo
commit: d323c0919e0de79e09bd415f78ce92394410b56f
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Thu Feb 13 12:01:46 2020 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Thu Feb 13 12:01:46 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d323c091

dev-libs/isl: amd64 stable wrt bug #709436

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

 dev-libs/isl/isl-0.22-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/isl/isl-0.22-r1.ebuild b/dev-libs/isl/isl-0.22-r1.ebuild
index 082280273e1..55972026d0c 100644
--- a/dev-libs/isl/isl-0.22-r1.ebuild
+++ b/dev-libs/isl/isl-0.22-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/22"
-KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sh sparc ~x86"
+KEYWORDS="~alpha amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sh sparc ~x86"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2020-02-13 Thread Agostino Sarubbo
commit: 5e4048f26bd58a8d559e7c4c070ca586bd5f3fc3
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Thu Feb 13 08:57:12 2020 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Thu Feb 13 08:57:12 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5e4048f2

dev-libs/isl: sparc stable wrt bug #709436

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

 dev-libs/isl/isl-0.22-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-libs/isl/isl-0.22-r1.ebuild b/dev-libs/isl/isl-0.22-r1.ebuild
index 807d8300e4a..082280273e1 100644
--- a/dev-libs/isl/isl-0.22-r1.ebuild
+++ b/dev-libs/isl/isl-0.22-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/22"
-KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sh ~sparc ~x86"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sh sparc ~x86"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2020-01-23 Thread Anthony G. Basile
commit: e95ed3a12d27dd8307dd94b80112c22c23619bd4
Author: Anthony G. Basile  gentoo  org>
AuthorDate: Thu Jan 23 22:10:05 2020 +
Commit: Anthony G. Basile  gentoo  org>
CommitDate: Thu Jan 23 22:10:05 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e95ed3a1

dev-libs/isl: version bump to 0.22.1

Package-Manager: Portage-2.3.84, Repoman-2.3.20
Signed-off-by: Anthony G. Basile  gentoo.org>

 dev-libs/isl/Manifest  |  1 +
 dev-libs/isl/isl-0.22.1.ebuild | 51 ++
 2 files changed, 52 insertions(+)

diff --git a/dev-libs/isl/Manifest b/dev-libs/isl/Manifest
index 0c709494b78..f6945700941 100644
--- a/dev-libs/isl/Manifest
+++ b/dev-libs/isl/Manifest
@@ -1,3 +1,4 @@
 DIST isl-0.12.2.tar.bz2 1319434 BLAKE2B 
53f009dc8093fb3d7d2db40db8f6fd9d7de630777e0308ac3c5918c2c106eda0edd7451df18c954ed6c9fc3ed7d18c73708d7b1f94c8c5c55aa94f8845f5b219
 SHA512 
b5dea4d6b504fac22f2d8cd9c47d6896994d3966635a514d45010243db44cfbc009574b808f3587f35d91de629110bc11b52941d4075e21f8646c59656e62aea
 DIST isl-0.21.tar.xz 1621680 BLAKE2B 
ffd0c8aa7d489283ac958c280c05fe0c9ad621a10bd157d0522ac209a58e9bb6a8aad76c7a49b42d5e1c0f3605d0fb05a41ed6f2bb9aabb4f06060a5bbb65de5
 SHA512 
87ebc2fd6d4325cdfa82295a659ed6dbd70760a776b733e5503bbf8baa8fe80d905879728e9c7f23d2f3bcd7e78c00a66ab166c013ae97b603f7c460c69668ec
+DIST isl-0.22.1.tar.xz 1676948 BLAKE2B 
cf1661f785344d8132e8f8a339ed8d457677ca1bf943a597d3d0be1e80d8c42e788cdde79fd073d130d681424da7a8e3ca9fa2cd4cd4232220f5c5a1ce99ab99
 SHA512 
8dc7b0c14e5bfdca8f2161be51d3c9afcd18bc217bb19b7de01dbba0c6f3fdc2b725fb999f8562c77bf2918d3005c9247f7a58474a6da7697390067944d4d4aa
 DIST isl-0.22.tar.xz 1676992 BLAKE2B 
1cb2125761adec02d9f337e8730faa5bc3a4e63cb7d968f7f4de3a3360b1f9be6caf6a27031f02df1ebe149fb70b6a32bdddbe8ae03032b8ff366f4eac274483
 SHA512 
7c3c9502ea07e4d47a823841837c3aa0b9d7ba0fe58deaf180734e44c18e53735ec783645da0bdc56b617c9e639b226cc03b40a947f852e1e787166a64f59424

diff --git a/dev-libs/isl/isl-0.22.1.ebuild b/dev-libs/isl/isl-0.22.1.ebuild
new file mode 100644
index 000..6e8e6081964
--- /dev/null
+++ b/dev-libs/isl/isl-0.22.1.ebuild
@@ -0,0 +1,51 @@
+# Copyright 1999-2020 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="7"
+
+inherit eutils multilib-minimal preserve-libs
+
+DESCRIPTION="A library for manipulating integer points bounded by linear 
constraints"
+HOMEPAGE="http://isl.gforge.inria.fr/;
+SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
+
+LICENSE="LGPL-2.1"
+SLOT="0/22"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sh ~sparc ~x86"
+IUSE="static-libs"
+
+RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"
+DEPEND="${RDEPEND}
+   app-arch/xz-utils
+   virtual/pkgconfig"
+
+DOCS=( ChangeLog AUTHORS doc/manual.pdf )
+
+PATCHES=(
+   "${FILESDIR}"/${PN}-0.19-gdb-autoload-dir.patch
+)
+
+multilib_src_configure() {
+   ECONF_SOURCE="${S}" econf $(use_enable static-libs static)
+}
+
+multilib_src_install_all() {
+   einstalldocs
+   find "${ED}" -type f -name '*.la' -delete
+}
+
+pkg_preinst() {
+   preserve_old_lib \
+   /usr/$(get_libdir)/libisl$(get_libname 14) \
+   /usr/$(get_libdir)/libisl$(get_libname 15) \
+   /usr/$(get_libdir)/libisl$(get_libname 19) \
+   /usr/$(get_libdir)/libisl$(get_libname 21)
+}
+
+pkg_postinst() {
+   preserve_old_lib_notify \
+   /usr/$(get_libdir)/libisl$(get_libname 14) \
+   /usr/$(get_libdir)/libisl$(get_libname 15) \
+   /usr/$(get_libdir)/libisl$(get_libname 19) \
+   /usr/$(get_libdir)/libisl$(get_libname 21)
+}



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

2020-01-08 Thread Sergei Trofimovich
commit: 8e310853e6e93153062451b97a0750ccb1c3b419
Author: Sergei Trofimovich  gentoo  org>
AuthorDate: Wed Jan  8 20:29:11 2020 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Wed Jan  8 20:30:02 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8e310853

dev-libs/isl: fix SIGSEGV for gcc, bug #702968

Picked proposed upstream patch from
https://groups.google.com/forum/#!original/isl-development/Otz1QKZDpzA/71GkTvqkCAAJ

Reported-by: wolfwood
Closes: https://bugs.gentoo.org/702968
Package-Manager: Portage-2.3.84, Repoman-2.3.20
Signed-off-by: Sergei Trofimovich  gentoo.org>

 dev-libs/isl/files/isl-0.22-bmap-nullderef.patch | 34 
 dev-libs/isl/isl-0.22-r1.ebuild  | 52 
 2 files changed, 86 insertions(+)

diff --git a/dev-libs/isl/files/isl-0.22-bmap-nullderef.patch 
b/dev-libs/isl/files/isl-0.22-bmap-nullderef.patch
new file mode 100644
index 000..00104f1f432
--- /dev/null
+++ b/dev-libs/isl/files/isl-0.22-bmap-nullderef.patch
@@ -0,0 +1,34 @@
+https://groups.google.com/forum/#!original/isl-development/Otz1QKZDpzA/71GkTvqkCAAJ
+https://bugs.gentoo.org/702968
+
+Subject: [MAINT PATCH] isl_basic_map_underlying_set: fix error handling
+Date: Tue,  7 Jan 2020 23:02:42 +0100
+Message-Id: <20200107220242...@kotnet.org>
+X-Mailer: git-send-email 2.24.1.591.g12029dc57d
+MIME-Version: 1.0
+Content-Transfer-Encoding: 8bit
+From: Sven Verdoolaege 
+
+The check for a valid bmap before accessing its n_div field
+was inadvertently removed in isl-0.21-230-g6a4c4bbf31 (isl_map.c:
+extract out shared isl_basic_map_{take,restore}_space,
+Thu Aug 11 10:27:49 2016 +0200).
+
+Reported-by: Richard Biener 
+Signed-off-by: Sven Verdoolaege 
+---
+ isl_map.c | 2 ++
+ 1 file changed, 2 insertions(+)
+--- a/isl_map.c
 b/isl_map.c
+@@ -5511,6 +5511,8 @@ __isl_give isl_basic_set *isl_basic_map_underlying_set(
+   !isl_space_is_named_or_nested(bmap->dim, isl_dim_out))
+   return bset_from_bmap(bmap);
+   bmap = isl_basic_map_cow(bmap);
++  if (!bmap)
++  return NULL;
+   space = isl_basic_map_take_space(bmap);
+   space = isl_space_underlying(space, bmap->n_div);
+   bmap = isl_basic_map_restore_space(bmap, space);
+-- 
+2.24.1.591.g12029dc57d

diff --git a/dev-libs/isl/isl-0.22-r1.ebuild b/dev-libs/isl/isl-0.22-r1.ebuild
new file mode 100644
index 000..807d8300e4a
--- /dev/null
+++ b/dev-libs/isl/isl-0.22-r1.ebuild
@@ -0,0 +1,52 @@
+# Copyright 1999-2020 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="7"
+
+inherit eutils multilib-minimal preserve-libs
+
+DESCRIPTION="A library for manipulating integer points bounded by linear 
constraints"
+HOMEPAGE="http://isl.gforge.inria.fr/;
+SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
+
+LICENSE="LGPL-2.1"
+SLOT="0/22"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sh ~sparc ~x86"
+IUSE="static-libs"
+
+RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"
+DEPEND="${RDEPEND}
+   app-arch/xz-utils
+   virtual/pkgconfig"
+
+DOCS=( ChangeLog AUTHORS doc/manual.pdf )
+
+PATCHES=(
+   "${FILESDIR}"/${PN}-0.19-gdb-autoload-dir.patch
+   "${FILESDIR}"/${PN}-0.22-bmap-nullderef.patch
+)
+
+multilib_src_configure() {
+   ECONF_SOURCE="${S}" econf $(use_enable static-libs static)
+}
+
+multilib_src_install_all() {
+   einstalldocs
+   find "${ED}" -type f -name '*.la' -delete
+}
+
+pkg_preinst() {
+   preserve_old_lib \
+   /usr/$(get_libdir)/libisl$(get_libname 14) \
+   /usr/$(get_libdir)/libisl$(get_libname 15) \
+   /usr/$(get_libdir)/libisl$(get_libname 19) \
+   /usr/$(get_libdir)/libisl$(get_libname 21)
+}
+
+pkg_postinst() {
+   preserve_old_lib_notify \
+   /usr/$(get_libdir)/libisl$(get_libname 14) \
+   /usr/$(get_libdir)/libisl$(get_libname 15) \
+   /usr/$(get_libdir)/libisl$(get_libname 19) \
+   /usr/$(get_libdir)/libisl$(get_libname 21)
+}



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

2019-11-10 Thread Sergei Trofimovich
commit: 2d461c6e412b92e54452b544703236c4b30b6007
Author: Sergei Trofimovich  gentoo  org>
AuthorDate: Sun Nov 10 22:16:11 2019 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Sun Nov 10 22:20:12 2019 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2d461c6e

dev-libs/isl: restore 0.12.2

Used by cloog-0.18.1.

Signed-off-by: Sergei Trofimovich  gentoo.org>

 dev-libs/isl/Manifest  |  1 +
 dev-libs/isl/files/isl-0.07-gdb-autoload-dir.patch | 17 ++
 dev-libs/isl/isl-0.12.2.ebuild | 38 ++
 3 files changed, 56 insertions(+)

diff --git a/dev-libs/isl/Manifest b/dev-libs/isl/Manifest
index efb9291cd21..0c709494b78 100644
--- a/dev-libs/isl/Manifest
+++ b/dev-libs/isl/Manifest
@@ -1,2 +1,3 @@
+DIST isl-0.12.2.tar.bz2 1319434 BLAKE2B 
53f009dc8093fb3d7d2db40db8f6fd9d7de630777e0308ac3c5918c2c106eda0edd7451df18c954ed6c9fc3ed7d18c73708d7b1f94c8c5c55aa94f8845f5b219
 SHA512 
b5dea4d6b504fac22f2d8cd9c47d6896994d3966635a514d45010243db44cfbc009574b808f3587f35d91de629110bc11b52941d4075e21f8646c59656e62aea
 DIST isl-0.21.tar.xz 1621680 BLAKE2B 
ffd0c8aa7d489283ac958c280c05fe0c9ad621a10bd157d0522ac209a58e9bb6a8aad76c7a49b42d5e1c0f3605d0fb05a41ed6f2bb9aabb4f06060a5bbb65de5
 SHA512 
87ebc2fd6d4325cdfa82295a659ed6dbd70760a776b733e5503bbf8baa8fe80d905879728e9c7f23d2f3bcd7e78c00a66ab166c013ae97b603f7c460c69668ec
 DIST isl-0.22.tar.xz 1676992 BLAKE2B 
1cb2125761adec02d9f337e8730faa5bc3a4e63cb7d968f7f4de3a3360b1f9be6caf6a27031f02df1ebe149fb70b6a32bdddbe8ae03032b8ff366f4eac274483
 SHA512 
7c3c9502ea07e4d47a823841837c3aa0b9d7ba0fe58deaf180734e44c18e53735ec783645da0bdc56b617c9e639b226cc03b40a947f852e1e787166a64f59424

diff --git a/dev-libs/isl/files/isl-0.07-gdb-autoload-dir.patch 
b/dev-libs/isl/files/isl-0.07-gdb-autoload-dir.patch
new file mode 100644
index 000..58e80b29687
--- /dev/null
+++ b/dev-libs/isl/files/isl-0.07-gdb-autoload-dir.patch
@@ -0,0 +1,17 @@
+Install python module into gdb auto-load directory.
+
+--- a/Makefile.in
 b/Makefile.in
+@@ -2189,9 +2189,9 @@ install-data-local: $(srcdir)/isl.py
+   case $$libisl in \
+   '') echo Cannot find isl library name. GDB bindings not installed.;; \
+   *) echo $(INSTALL_DATA) $(srcdir)/isl.py \
+-  $(DESTDIR)$(libdir)/$$libisl-gdb.py; \
+-  test -z "$(libdir)" || $(MKDIR_P) "$(DESTDIR)$(libdir)"; \
+-  $(INSTALL_DATA) $(srcdir)/isl.py $(DESTDIR)$(libdir)/$$libisl-gdb.py; 
esac
++  
$(DESTDIR)$(prefix)/share/gdb/auto-load$(libdir)/$$libisl-gdb.py; \
++  test -z "$(libdir)" || $(MKDIR_P) 
"$(DESTDIR)$(prefix)/share/gdb/auto-load$(libdir)"; \
++  $(INSTALL_DATA) $(srcdir)/isl.py 
$(DESTDIR)$(prefix)/share/gdb/auto-load$(libdir)/$$libisl-gdb.py; esac
+ 
+ # Tell versions [3.59,3.63) of GNU make to not export all variables.
+ # Otherwise a system limit (for SysV at least) may be exceeded.

diff --git a/dev-libs/isl/isl-0.12.2.ebuild b/dev-libs/isl/isl-0.12.2.ebuild
new file mode 100644
index 000..17e0f4be337
--- /dev/null
+++ b/dev-libs/isl/isl-0.12.2.ebuild
@@ -0,0 +1,38 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="5"
+
+inherit eutils multilib-minimal
+
+DESCRIPTION="A library for manipulating integer points bounded by linear 
constraints"
+HOMEPAGE="http://isl.gforge.inria.fr/;
+SRC_URI="http://isl.gforge.inria.fr/${P}.tar.bz2;
+
+LICENSE="LGPL-2.1"
+SLOT="0/10"
+KEYWORDS="alpha amd64 arm arm64 ~hppa ia64 m68k ~mips ppc ppc64 s390 sh sparc 
x86"
+IUSE="static-libs"
+
+RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"
+DEPEND="${RDEPEND}
+   virtual/pkgconfig"
+
+DOCS=( ChangeLog AUTHORS doc/manual.pdf )
+
+src_prepare() {
+   epatch "${FILESDIR}"/${PN}-0.07-gdb-autoload-dir.patch
+
+   # m4/ax_create_pkgconfig_info.m4 is broken but avoid eautoreconf
+   # https://groups.google.com/group/isl-development/t/37ad876557e50f2c
+   sed -i -e '/Libs:/s:@LDFLAGS@ ::' configure || die #382737
+}
+
+multilib_src_configure() {
+   ECONF_SOURCE="${S}" econf $(use_enable static-libs static)
+}
+
+multilib_src_install_all() {
+   einstalldocs
+   prune_libtool_files
+}



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

2019-11-10 Thread Sergei Trofimovich
commit: d9512cfe523c5af6b988f7640c9b5ed1fedbb1ed
Author: Sergei Trofimovich  gentoo  org>
AuthorDate: Sun Nov 10 22:10:55 2019 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Sun Nov 10 22:10:55 2019 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d9512cfe

dev-libs/isl: drop old

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

 dev-libs/isl/Manifest  | 10 -
 dev-libs/isl/files/isl-0.07-gdb-autoload-dir.patch | 17 
 dev-libs/isl/isl-0.12.2.ebuild | 38 
 dev-libs/isl/isl-0.13.ebuild   | 38 
 dev-libs/isl/isl-0.14.1.ebuild | 39 -
 dev-libs/isl/isl-0.14.ebuild   | 39 -
 dev-libs/isl/isl-0.15.ebuild   | 39 -
 dev-libs/isl/isl-0.16.1.ebuild | 39 -
 dev-libs/isl/isl-0.17.1.ebuild | 39 -
 dev-libs/isl/isl-0.18.ebuild   | 39 -
 dev-libs/isl/isl-0.19.ebuild   | 51 --
 dev-libs/isl/isl-0.20.ebuild   | 51 --
 12 files changed, 439 deletions(-)

diff --git a/dev-libs/isl/Manifest b/dev-libs/isl/Manifest
index f4893b132dc..efb9291cd21 100644
--- a/dev-libs/isl/Manifest
+++ b/dev-libs/isl/Manifest
@@ -1,12 +1,2 @@
-DIST isl-0.12.2.tar.bz2 1319434 BLAKE2B 
53f009dc8093fb3d7d2db40db8f6fd9d7de630777e0308ac3c5918c2c106eda0edd7451df18c954ed6c9fc3ed7d18c73708d7b1f94c8c5c55aa94f8845f5b219
 SHA512 
b5dea4d6b504fac22f2d8cd9c47d6896994d3966635a514d45010243db44cfbc009574b808f3587f35d91de629110bc11b52941d4075e21f8646c59656e62aea
-DIST isl-0.13.tar.bz2 1351299 BLAKE2B 
f2fe57b42d639a5125655067996e508cb16d03d7f054b15f22e4bfb624c26bc5c422742060be81af91fc59f719e7b6cf9e1c40790f51fca9ddedab175d998a10
 SHA512 
ac94cc6448ce8ed5ccf987fb29d86ddd5a63c904a83df3f24f66cde25e5657180a3f2b55b207635d43930e92c860d1043d3f14e9e715d593d53c956eb8346743
-DIST isl-0.14.1.tar.xz 1248204 BLAKE2B 
d4728a17a91131da65d61dc36293a5633712d4372a93721d428d0edc76835e3e9783b64cedd04fee3e1d94d37a6dee51856ef754d29316a4675cf1b02bd0610a
 SHA512 
ccae0464771db50c498fd1f9f1006c9bc183fd77a0716507daeb5da6d435fdca0942efc4589464f205615f9e46242a066f61790c40206be02f6cf8506635
-DIST isl-0.14.tar.xz 1247052 BLAKE2B 
f75a78b98c5662d0f67e9700b10cf70214ef27fb2ed775e678e4f60e05db9923aea51d1dec489d94d341e4c64a60d91ef0a7229bed737f6cdf616fb61d9b53c2
 SHA512 
cf43868d466d6ff08c5e15345d222ad153e8c4e86831f9854df716eb914c6c15f4c44b73aa6e0b16eb556d1a4d3c26af6f71e85421bf464cbbd053d5f3c515ee
-DIST isl-0.15.tar.xz 1406988 BLAKE2B 
baa3a7d8c77e7d8416a1c9215c35fc1d6d0034c1c2cdf2bd1da752aa564c0d946e4a6e0e26196209459e4a2309dcbd6ea1731564494374b95c657c7c58aeee02
 SHA512 
5e72816da133714fb752ddd10fbe9e8f18deef496445672c0a77429679e50f1def22e05e5ebe9acb5534fc8939a6e6a452ffa3607d479671864a76b6789bdab4
-DIST isl-0.16.1.tar.xz 1449164 BLAKE2B 
8c048ad398d7c3de79f4d6a6c3d906b4086bbcf59c4c014a1f02cff472dc7ce92d8fec518dd3f13d389a8ffefda431ee335084c68191ec1350e78c12cf8cda03
 SHA512 
6faff2fe07267ba05c156158c36c25aa9beec6058f949b7bb9b8f042c5d01b7a3a17a6117c2c2a13ad6180308c8d03cfd469b237abf85290411599dde614788f
-DIST isl-0.17.1.tar.xz 1440564 BLAKE2B 
ab2dfd50a4c5adc5ebba172ab969475adf15f541305e63bed273e6a30d6087bcb9383cce16207bbcf89578bd98527f56df86b2a264c078dc9d730e3d59c326d2
 SHA512 
03d73e81db2a01c5dd31bec12816975988bf731f29b95637bc15ea24abf0becad6e8d650ca0bad45eaad4197cb0a1f5ca189aec638db162c56092a001e35d86b
-DIST isl-0.18.tar.xz 1475708 BLAKE2B 
216d4d75e2bc03b3027c67ac7ab373aca6040ead12b2844504890d6fe6dd80e82c66d0f89eb1fc7451a23470445d2656f704971d3b8bfa2916154973e9b52038
 SHA512 
3606609765fc34740ab3014e2256d6bba7ff730463b014a0e4f5fcfb2e3dbef974503dff1f3702b307ef79ff86c5bc2c3ce3c3c8511533971fd5d53ab45f6eea
-DIST isl-0.19.tar.xz 1515156 BLAKE2B 
1be213df736f59123072778b9721db06130c935edf0805fd489d74c9effeb9eaf5b191de0a28e8a5138f79dc23ac9ebb213c57c020d0411afb305788b5f312cd
 SHA512 
eeda0405d38f77a18c6e69128948dc29af7e44ce827e9fb538d3844c6e22db3b4126287ca0937d9bee7b528bbab7aad8d3729db36e74864196f57e81943dade4
-DIST isl-0.20.tar.xz 1539064 BLAKE2B 
f1347c0126ba3ae9b5fa073d0f206a7f48d53edb40d87ddff18005d94754ea4d1fd3801ee913d3b7234124b6c1447990e5d299fad6c6b7ff1d022ede82bba9b2
 SHA512 
394bccd22d8e63cb052a60ad8b1a75f4ec43916a9482c66f5167b534b538161179c47919815983b7fbc20dfaa1a590e88b251850aa092bbffc2891635bf30dc4
 DIST isl-0.21.tar.xz 1621680 BLAKE2B 
ffd0c8aa7d489283ac958c280c05fe0c9ad621a10bd157d0522ac209a58e9bb6a8aad76c7a49b42d5e1c0f3605d0fb05a41ed6f2bb9aabb4f06060a5bbb65de5
 SHA512 
87ebc2fd6d4325cdfa82295a659ed6dbd70760a776b733e5503bbf8baa8fe80d905879728e9c7f23d2f3bcd7e78c00a66ab166c013ae97b603f7c460c69668ec
 DIST isl-0.22.tar.xz 1676992 BLAKE2B 

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

2019-11-10 Thread Anthony G. Basile
commit: ec4768abf3fc2ffdbc904e1cf245d8074b60bee3
Author: Anthony G. Basile  gentoo  org>
AuthorDate: Sun Nov 10 18:19:41 2019 +
Commit: Anthony G. Basile  gentoo  org>
CommitDate: Sun Nov 10 18:19:41 2019 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ec4768ab

dev-libs/isl: version bump to 0.22

Package-Manager: Portage-2.3.76, Repoman-2.3.16
Signed-off-by: Anthony G. Basile  gentoo.org>

 dev-libs/isl/Manifest|  1 +
 dev-libs/isl/isl-0.22.ebuild | 51 
 2 files changed, 52 insertions(+)

diff --git a/dev-libs/isl/Manifest b/dev-libs/isl/Manifest
index 33262140120..f4893b132dc 100644
--- a/dev-libs/isl/Manifest
+++ b/dev-libs/isl/Manifest
@@ -9,3 +9,4 @@ DIST isl-0.18.tar.xz 1475708 BLAKE2B 
216d4d75e2bc03b3027c67ac7ab373aca6040ead12b
 DIST isl-0.19.tar.xz 1515156 BLAKE2B 
1be213df736f59123072778b9721db06130c935edf0805fd489d74c9effeb9eaf5b191de0a28e8a5138f79dc23ac9ebb213c57c020d0411afb305788b5f312cd
 SHA512 
eeda0405d38f77a18c6e69128948dc29af7e44ce827e9fb538d3844c6e22db3b4126287ca0937d9bee7b528bbab7aad8d3729db36e74864196f57e81943dade4
 DIST isl-0.20.tar.xz 1539064 BLAKE2B 
f1347c0126ba3ae9b5fa073d0f206a7f48d53edb40d87ddff18005d94754ea4d1fd3801ee913d3b7234124b6c1447990e5d299fad6c6b7ff1d022ede82bba9b2
 SHA512 
394bccd22d8e63cb052a60ad8b1a75f4ec43916a9482c66f5167b534b538161179c47919815983b7fbc20dfaa1a590e88b251850aa092bbffc2891635bf30dc4
 DIST isl-0.21.tar.xz 1621680 BLAKE2B 
ffd0c8aa7d489283ac958c280c05fe0c9ad621a10bd157d0522ac209a58e9bb6a8aad76c7a49b42d5e1c0f3605d0fb05a41ed6f2bb9aabb4f06060a5bbb65de5
 SHA512 
87ebc2fd6d4325cdfa82295a659ed6dbd70760a776b733e5503bbf8baa8fe80d905879728e9c7f23d2f3bcd7e78c00a66ab166c013ae97b603f7c460c69668ec
+DIST isl-0.22.tar.xz 1676992 BLAKE2B 
1cb2125761adec02d9f337e8730faa5bc3a4e63cb7d968f7f4de3a3360b1f9be6caf6a27031f02df1ebe149fb70b6a32bdddbe8ae03032b8ff366f4eac274483
 SHA512 
7c3c9502ea07e4d47a823841837c3aa0b9d7ba0fe58deaf180734e44c18e53735ec783645da0bdc56b617c9e639b226cc03b40a947f852e1e787166a64f59424

diff --git a/dev-libs/isl/isl-0.22.ebuild b/dev-libs/isl/isl-0.22.ebuild
new file mode 100644
index 000..ece2ffe52ba
--- /dev/null
+++ b/dev-libs/isl/isl-0.22.ebuild
@@ -0,0 +1,51 @@
+# Copyright 1999-2019 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="6"
+
+inherit eutils multilib-minimal preserve-libs
+
+DESCRIPTION="A library for manipulating integer points bounded by linear 
constraints"
+HOMEPAGE="http://isl.gforge.inria.fr/;
+SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
+
+LICENSE="LGPL-2.1"
+SLOT="0/22"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sh ~sparc ~x86"
+IUSE="static-libs"
+
+RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"
+DEPEND="${RDEPEND}
+   app-arch/xz-utils
+   virtual/pkgconfig"
+
+DOCS=( ChangeLog AUTHORS doc/manual.pdf )
+
+PATCHES=(
+   "${FILESDIR}"/${PN}-0.19-gdb-autoload-dir.patch
+)
+
+multilib_src_configure() {
+   ECONF_SOURCE="${S}" econf $(use_enable static-libs static)
+}
+
+multilib_src_install_all() {
+   einstalldocs
+   find "${ED}" -type f -name '*.la' -delete
+}
+
+pkg_preinst() {
+   preserve_old_lib \
+   /usr/$(get_libdir)/libisl$(get_libname 14) \
+   /usr/$(get_libdir)/libisl$(get_libname 15) \
+   /usr/$(get_libdir)/libisl$(get_libname 19) \
+   /usr/$(get_libdir)/libisl$(get_libname 21)
+}
+
+pkg_postinst() {
+   preserve_old_lib_notify \
+   /usr/$(get_libdir)/libisl$(get_libname 14) \
+   /usr/$(get_libdir)/libisl$(get_libname 15) \
+   /usr/$(get_libdir)/libisl$(get_libname 19) \
+   /usr/$(get_libdir)/libisl$(get_libname 21)
+}



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

2019-09-21 Thread Matt Turner
commit: 41348b0c6cc2509243fc3cfccd63c539e50c7d69
Author: Matt Turner  gentoo  org>
AuthorDate: Sat Sep 21 18:08:36 2019 +
Commit: Matt Turner  gentoo  org>
CommitDate: Sat Sep 21 18:08:47 2019 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=41348b0c

dev-libs/isl-0.21: alpha stable, bug 693842

Signed-off-by: Matt Turner  gentoo.org>

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

diff --git a/dev-libs/isl/isl-0.21.ebuild b/dev-libs/isl/isl-0.21.ebuild
index 3924d1c2af6..96492b25b89 100644
--- a/dev-libs/isl/isl-0.21.ebuild
+++ b/dev-libs/isl/isl-0.21.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/21"
-KEYWORDS="~alpha amd64 arm arm64 hppa ia64 m68k ~mips ppc ppc64 ~riscv s390 sh 
sparc x86 ~amd64-fbsd ~x86-fbsd"
+KEYWORDS="alpha amd64 arm arm64 hppa ia64 m68k ~mips ppc ppc64 ~riscv s390 sh 
sparc x86 ~amd64-fbsd ~x86-fbsd"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2019-09-20 Thread Sergei Trofimovich
commit: 79514f212faa4cc63cd49b33b0c95a893f86700b
Author: Sergei Trofimovich  gentoo  org>
AuthorDate: Fri Sep 20 06:39:24 2019 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Fri Sep 20 06:39:24 2019 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=79514f21

dev-libs/isl: stable 0.21 for hppa, bug #693842

Package-Manager: Portage-2.3.76, Repoman-2.3.17
RepoMan-Options: --include-arches="hppa"
Signed-off-by: Sergei Trofimovich  gentoo.org>

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

diff --git a/dev-libs/isl/isl-0.21.ebuild b/dev-libs/isl/isl-0.21.ebuild
index f8be87d8a1c..3924d1c2af6 100644
--- a/dev-libs/isl/isl-0.21.ebuild
+++ b/dev-libs/isl/isl-0.21.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/21"
-KEYWORDS="~alpha amd64 arm arm64 ~hppa ia64 m68k ~mips ppc ppc64 ~riscv s390 
sh sparc x86 ~amd64-fbsd ~x86-fbsd"
+KEYWORDS="~alpha amd64 arm arm64 hppa ia64 m68k ~mips ppc ppc64 ~riscv s390 sh 
sparc x86 ~amd64-fbsd ~x86-fbsd"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2019-09-16 Thread Agostino Sarubbo
commit: d6e0ba95c63861c850bb82fa984b66f83fa4893e
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Mon Sep 16 06:52:16 2019 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Mon Sep 16 06:52:16 2019 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d6e0ba95

dev-libs/isl: sparc stable wrt bug #693842

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

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

diff --git a/dev-libs/isl/isl-0.21.ebuild b/dev-libs/isl/isl-0.21.ebuild
index e9efbc94e12..f8be87d8a1c 100644
--- a/dev-libs/isl/isl-0.21.ebuild
+++ b/dev-libs/isl/isl-0.21.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/21"
-KEYWORDS="~alpha amd64 arm arm64 ~hppa ia64 m68k ~mips ppc ppc64 ~riscv s390 
sh ~sparc x86 ~amd64-fbsd ~x86-fbsd"
+KEYWORDS="~alpha amd64 arm arm64 ~hppa ia64 m68k ~mips ppc ppc64 ~riscv s390 
sh sparc x86 ~amd64-fbsd ~x86-fbsd"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2019-09-13 Thread Mikle Kolyada
commit: 15f178ec0cc5d8ced0872f7f45086123ea5cdb93
Author: Mikle Kolyada  gentoo  org>
AuthorDate: Fri Sep 13 18:38:13 2019 +
Commit: Mikle Kolyada  gentoo  org>
CommitDate: Fri Sep 13 18:38:13 2019 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=15f178ec

dev-libs/isl: m68k stable wrt bug #693842

Package-Manager: Portage-2.3.69, Repoman-2.3.16
RepoMan-Options: --include-arches="m68k"
Signed-off-by: Mikle Kolyada  gentoo.org>

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

diff --git a/dev-libs/isl/isl-0.21.ebuild b/dev-libs/isl/isl-0.21.ebuild
index 973fd122777..95b7e050d6d 100644
--- a/dev-libs/isl/isl-0.21.ebuild
+++ b/dev-libs/isl/isl-0.21.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/21"
-KEYWORDS="~alpha amd64 ~arm arm64 ~hppa ia64 ~m68k ~mips ppc ppc64 ~riscv s390 
sh ~sparc x86 ~amd64-fbsd ~x86-fbsd"
+KEYWORDS="~alpha amd64 ~arm arm64 ~hppa ia64 m68k ~mips ppc ppc64 ~riscv s390 
sh ~sparc x86 ~amd64-fbsd ~x86-fbsd"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2019-09-13 Thread Mikle Kolyada
commit: 7bf3c8ef3015df8faec9b725d97ebb750d488f7d
Author: Mikle Kolyada  gentoo  org>
AuthorDate: Fri Sep 13 18:38:42 2019 +
Commit: Mikle Kolyada  gentoo  org>
CommitDate: Fri Sep 13 18:38:42 2019 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7bf3c8ef

dev-libs/isl: arm stable wrt bug #693842

Package-Manager: Portage-2.3.69, Repoman-2.3.16
RepoMan-Options: --include-arches="arm"
Signed-off-by: Mikle Kolyada  gentoo.org>

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

diff --git a/dev-libs/isl/isl-0.21.ebuild b/dev-libs/isl/isl-0.21.ebuild
index 95b7e050d6d..e9efbc94e12 100644
--- a/dev-libs/isl/isl-0.21.ebuild
+++ b/dev-libs/isl/isl-0.21.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/21"
-KEYWORDS="~alpha amd64 ~arm arm64 ~hppa ia64 m68k ~mips ppc ppc64 ~riscv s390 
sh ~sparc x86 ~amd64-fbsd ~x86-fbsd"
+KEYWORDS="~alpha amd64 arm arm64 ~hppa ia64 m68k ~mips ppc ppc64 ~riscv s390 
sh ~sparc x86 ~amd64-fbsd ~x86-fbsd"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2019-09-13 Thread Mikle Kolyada
commit: 00e99289eca2e1edf0cf5e52fafcd4cab6f4a651
Author: Mikle Kolyada  gentoo  org>
AuthorDate: Fri Sep 13 18:37:53 2019 +
Commit: Mikle Kolyada  gentoo  org>
CommitDate: Fri Sep 13 18:37:53 2019 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=00e99289

dev-libs/isl: sh stable wrt bug #693842

Package-Manager: Portage-2.3.69, Repoman-2.3.16
RepoMan-Options: --include-arches="sh"
Signed-off-by: Mikle Kolyada  gentoo.org>

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

diff --git a/dev-libs/isl/isl-0.21.ebuild b/dev-libs/isl/isl-0.21.ebuild
index 24942d622e8..973fd122777 100644
--- a/dev-libs/isl/isl-0.21.ebuild
+++ b/dev-libs/isl/isl-0.21.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/21"
-KEYWORDS="~alpha amd64 ~arm arm64 ~hppa ia64 ~m68k ~mips ppc ppc64 ~riscv s390 
~sh ~sparc x86 ~amd64-fbsd ~x86-fbsd"
+KEYWORDS="~alpha amd64 ~arm arm64 ~hppa ia64 ~m68k ~mips ppc ppc64 ~riscv s390 
sh ~sparc x86 ~amd64-fbsd ~x86-fbsd"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2019-09-13 Thread Agostino Sarubbo
commit: 2c6f1ea4839edeab65ad6a4bb453ac796d91b384
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Fri Sep 13 07:45:14 2019 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Fri Sep 13 07:45:14 2019 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2c6f1ea4

dev-libs/isl: s390 stable wrt bug #693842

Package-Manager: Portage-2.3.69, Repoman-2.3.16
RepoMan-Options: --include-arches="s390"
Signed-off-by: Agostino Sarubbo  gentoo.org>

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

diff --git a/dev-libs/isl/isl-0.21.ebuild b/dev-libs/isl/isl-0.21.ebuild
index 937204cb4c8..24942d622e8 100644
--- a/dev-libs/isl/isl-0.21.ebuild
+++ b/dev-libs/isl/isl-0.21.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/21"
-KEYWORDS="~alpha amd64 ~arm arm64 ~hppa ia64 ~m68k ~mips ppc ppc64 ~riscv 
~s390 ~sh ~sparc x86 ~amd64-fbsd ~x86-fbsd"
+KEYWORDS="~alpha amd64 ~arm arm64 ~hppa ia64 ~m68k ~mips ppc ppc64 ~riscv s390 
~sh ~sparc x86 ~amd64-fbsd ~x86-fbsd"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2019-09-10 Thread Agostino Sarubbo
commit: b7aecdc16dc3f1ac4859be7f5ec46a561bff4ba4
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Tue Sep 10 07:08:48 2019 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Tue Sep 10 07:08:48 2019 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b7aecdc1

dev-libs/isl: x86 stable wrt bug #693842

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

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

diff --git a/dev-libs/isl/isl-0.21.ebuild b/dev-libs/isl/isl-0.21.ebuild
index c0b1bb845b9..937204cb4c8 100644
--- a/dev-libs/isl/isl-0.21.ebuild
+++ b/dev-libs/isl/isl-0.21.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/21"
-KEYWORDS="~alpha amd64 ~arm arm64 ~hppa ia64 ~m68k ~mips ppc ppc64 ~riscv 
~s390 ~sh ~sparc ~x86 ~amd64-fbsd ~x86-fbsd"
+KEYWORDS="~alpha amd64 ~arm arm64 ~hppa ia64 ~m68k ~mips ppc ppc64 ~riscv 
~s390 ~sh ~sparc x86 ~amd64-fbsd ~x86-fbsd"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2019-09-10 Thread Sergei Trofimovich
commit: f5e78e3fce658881ef96778ab11016bb979e0bda
Author: Sergei Trofimovich  gentoo  org>
AuthorDate: Tue Sep 10 07:00:13 2019 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Tue Sep 10 07:00:13 2019 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f5e78e3f

dev-libs/isl: stable 0.21 for ppc64, bug #693842

Package-Manager: Portage-2.3.75, Repoman-2.3.17
RepoMan-Options: --include-arches="ppc64"
Signed-off-by: Sergei Trofimovich  gentoo.org>

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

diff --git a/dev-libs/isl/isl-0.21.ebuild b/dev-libs/isl/isl-0.21.ebuild
index 70f40a85436..c0b1bb845b9 100644
--- a/dev-libs/isl/isl-0.21.ebuild
+++ b/dev-libs/isl/isl-0.21.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/21"
-KEYWORDS="~alpha amd64 ~arm arm64 ~hppa ia64 ~m68k ~mips ppc ~ppc64 ~riscv 
~s390 ~sh ~sparc ~x86 ~amd64-fbsd ~x86-fbsd"
+KEYWORDS="~alpha amd64 ~arm arm64 ~hppa ia64 ~m68k ~mips ppc ppc64 ~riscv 
~s390 ~sh ~sparc ~x86 ~amd64-fbsd ~x86-fbsd"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2019-09-10 Thread Sergei Trofimovich
commit: a25cb24d46deb5d4d987c93b87d96b33c378c188
Author: Sergei Trofimovich  gentoo  org>
AuthorDate: Tue Sep 10 06:54:38 2019 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Tue Sep 10 06:54:38 2019 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a25cb24d

dev-libs/isl: stable 0.21 for ppc, bug #693842

Package-Manager: Portage-2.3.75, Repoman-2.3.17
RepoMan-Options: --include-arches="ppc"
Signed-off-by: Sergei Trofimovich  gentoo.org>

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

diff --git a/dev-libs/isl/isl-0.21.ebuild b/dev-libs/isl/isl-0.21.ebuild
index 8795d0a0c49..70f40a85436 100644
--- a/dev-libs/isl/isl-0.21.ebuild
+++ b/dev-libs/isl/isl-0.21.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/21"
-KEYWORDS="~alpha amd64 ~arm arm64 ~hppa ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sh ~sparc ~x86 ~amd64-fbsd ~x86-fbsd"
+KEYWORDS="~alpha amd64 ~arm arm64 ~hppa ia64 ~m68k ~mips ppc ~ppc64 ~riscv 
~s390 ~sh ~sparc ~x86 ~amd64-fbsd ~x86-fbsd"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2019-09-10 Thread Sergei Trofimovich
commit: 293e7f0646d7276d1559569d87ceee0e314d599f
Author: Sergei Trofimovich  gentoo  org>
AuthorDate: Tue Sep 10 06:42:57 2019 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Tue Sep 10 06:50:39 2019 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=293e7f06

dev-libs/isl: stable 0.21 for ia64, bug #693842

Package-Manager: Portage-2.3.75, Repoman-2.3.17
RepoMan-Options: --include-arches="ia64"
Signed-off-by: Sergei Trofimovich  gentoo.org>

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

diff --git a/dev-libs/isl/isl-0.21.ebuild b/dev-libs/isl/isl-0.21.ebuild
index aca434d355b..8795d0a0c49 100644
--- a/dev-libs/isl/isl-0.21.ebuild
+++ b/dev-libs/isl/isl-0.21.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/21"
-KEYWORDS="~alpha amd64 ~arm arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sh ~sparc ~x86 ~amd64-fbsd ~x86-fbsd"
+KEYWORDS="~alpha amd64 ~arm arm64 ~hppa ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sh ~sparc ~x86 ~amd64-fbsd ~x86-fbsd"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2019-09-09 Thread Aaron Bauman
commit: 46f6baa01113648c6e383de274d1d9384467e2ee
Author: Aaron Bauman  gentoo  org>
AuthorDate: Tue Sep 10 00:28:17 2019 +
Commit: Aaron Bauman  gentoo  org>
CommitDate: Tue Sep 10 00:28:17 2019 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=46f6baa0

dev-libs/isl: arm64 stable (bug #693842)

Signed-off-by: Aaron Bauman  gentoo.org>
Package-Manager: Portage-2.3.75, Repoman-2.3.17
RepoMan-Options: --include-arches="arm64"

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

diff --git a/dev-libs/isl/isl-0.21.ebuild b/dev-libs/isl/isl-0.21.ebuild
index 6e56e6ec1b2..aca434d355b 100644
--- a/dev-libs/isl/isl-0.21.ebuild
+++ b/dev-libs/isl/isl-0.21.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/21"
-KEYWORDS="~alpha amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sh ~sparc ~x86 ~amd64-fbsd ~x86-fbsd"
+KEYWORDS="~alpha amd64 ~arm arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sh ~sparc ~x86 ~amd64-fbsd ~x86-fbsd"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2019-09-09 Thread Agostino Sarubbo
commit: 71c3927250c5a0f4d1d7133e791b377c3b75754d
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Mon Sep  9 17:22:39 2019 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Mon Sep  9 17:22:39 2019 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=71c39272

dev-libs/isl: amd64 stable wrt bug #693842

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

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

diff --git a/dev-libs/isl/isl-0.21.ebuild b/dev-libs/isl/isl-0.21.ebuild
index 89604d8e331..6e56e6ec1b2 100644
--- a/dev-libs/isl/isl-0.21.ebuild
+++ b/dev-libs/isl/isl-0.21.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/21"
-KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sh ~sparc ~x86 ~amd64-fbsd ~x86-fbsd"
+KEYWORDS="~alpha amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sh ~sparc ~x86 ~amd64-fbsd ~x86-fbsd"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2019-05-05 Thread Mikle Kolyada
commit: e7acd3f7bcc3f1bfe52d189f23924b79a404234a
Author: Mikle Kolyada  gentoo  org>
AuthorDate: Sun May  5 11:00:01 2019 +
Commit: Mikle Kolyada  gentoo  org>
CommitDate: Sun May  5 11:00:01 2019 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e7acd3f7

dev-libs/isl: Add ~riscv keyword

Signed-off-by: Mikle Kolyada  gentoo.org>
Package-Manager: Portage-2.3.62, Repoman-2.3.11

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

diff --git a/dev-libs/isl/isl-0.21.ebuild b/dev-libs/isl/isl-0.21.ebuild
index b3e801e7fc3..89604d8e331 100644
--- a/dev-libs/isl/isl-0.21.ebuild
+++ b/dev-libs/isl/isl-0.21.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/21"
-KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~s390 
~sh ~sparc ~x86 ~amd64-fbsd ~x86-fbsd"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv 
~s390 ~sh ~sparc ~x86 ~amd64-fbsd ~x86-fbsd"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2019-04-04 Thread Sergei Trofimovich
commit: dcec135afa20b088a851ff2c6e1f1eb5491d1e35
Author: Sergei Trofimovich  gentoo  org>
AuthorDate: Thu Apr  4 07:38:53 2019 +
Commit: Sergei Trofimovich  gentoo  org>
CommitDate: Thu Apr  4 08:37:08 2019 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=dcec135a

dev-libs/isl: drop LDFLAGS mangling for .pc files

Upstream package was fixed in 0.12 and later:
https://repo.or.cz/isl.git/commitdiff/65b05de4da9bf21178f37ca3e26a048d15fdb52e

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

 dev-libs/isl/isl-0.21.ebuild | 12 +++-
 1 file changed, 3 insertions(+), 9 deletions(-)

diff --git a/dev-libs/isl/isl-0.21.ebuild b/dev-libs/isl/isl-0.21.ebuild
index 593ac2f4e21..b3e801e7fc3 100644
--- a/dev-libs/isl/isl-0.21.ebuild
+++ b/dev-libs/isl/isl-0.21.ebuild
@@ -21,15 +21,9 @@ DEPEND="${RDEPEND}
 
 DOCS=( ChangeLog AUTHORS doc/manual.pdf )
 
-src_prepare() {
-   eapply "${FILESDIR}"/${PN}-0.19-gdb-autoload-dir.patch
-
-   # m4/ax_create_pkgconfig_info.m4 is broken but avoid eautoreconf
-   # https://groups.google.com/group/isl-development/t/37ad876557e50f2c
-   sed -i -e '/Libs:/s:@LDFLAGS@ ::' configure || die #382737
-
-   eapply_user
-}
+PATCHES=(
+   "${FILESDIR}"/${PN}-0.19-gdb-autoload-dir.patch
+)
 
 multilib_src_configure() {
ECONF_SOURCE="${S}" econf $(use_enable static-libs static)



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

2019-03-30 Thread Anthony G. Basile
commit: 180989a1160bf61d0c00d19fa073631a18c63a09
Author: Anthony G. Basile  gentoo  org>
AuthorDate: Sat Mar 30 10:53:59 2019 +
Commit: Anthony G. Basile  gentoo  org>
CommitDate: Sat Mar 30 10:55:33 2019 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=180989a1

dev-libs/isl: bump version 0.21 to EAPI=6

Signed-off-by: Anthony G. Basile  gentoo.org>
Package-Manager: Portage-2.3.62, Repoman-2.3.11

 dev-libs/isl/isl-0.21.ebuild | 8 +---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/dev-libs/isl/isl-0.21.ebuild b/dev-libs/isl/isl-0.21.ebuild
index a45e6ce6885..593ac2f4e21 100644
--- a/dev-libs/isl/isl-0.21.ebuild
+++ b/dev-libs/isl/isl-0.21.ebuild
@@ -1,7 +1,7 @@
 # Copyright 1999-2019 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
-EAPI="5"
+EAPI="6"
 
 inherit eutils multilib-minimal preserve-libs
 
@@ -22,11 +22,13 @@ DEPEND="${RDEPEND}
 DOCS=( ChangeLog AUTHORS doc/manual.pdf )
 
 src_prepare() {
-   epatch "${FILESDIR}"/${PN}-0.19-gdb-autoload-dir.patch
+   eapply "${FILESDIR}"/${PN}-0.19-gdb-autoload-dir.patch
 
# m4/ax_create_pkgconfig_info.m4 is broken but avoid eautoreconf
# https://groups.google.com/group/isl-development/t/37ad876557e50f2c
sed -i -e '/Libs:/s:@LDFLAGS@ ::' configure || die #382737
+
+   eapply_user
 }
 
 multilib_src_configure() {
@@ -35,7 +37,7 @@ multilib_src_configure() {
 
 multilib_src_install_all() {
einstalldocs
-   prune_libtool_files
+   find "${ED}" -type f -name '*.la' -delete
 }
 
 pkg_preinst() {



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

2019-03-28 Thread Anthony G. Basile
commit: e4e1fad7c81dc215205652108cd6910ddc3be4c1
Author: Arfrever Frehtes Taifersar Arahesis  Apache  Org>
AuthorDate: Thu Mar 28 19:11:44 2019 +
Commit: Anthony G. Basile  gentoo  org>
CommitDate: Thu Mar 28 19:16:30 2019 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e4e1fad7

dev-libs/isl: Update list of preserved libraries from older versions.

Fixes: https://bugs.gentoo.org/681952
Signed-off-by: Arfrever Frehtes Taifersar Arahesis  Apache.Org>
Signed-off-by: Anthony G. Basile  gentoo.org>

 dev-libs/isl/isl-0.21.ebuild | 6 --
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/dev-libs/isl/isl-0.21.ebuild b/dev-libs/isl/isl-0.21.ebuild
index a67c2164cde..a45e6ce6885 100644
--- a/dev-libs/isl/isl-0.21.ebuild
+++ b/dev-libs/isl/isl-0.21.ebuild
@@ -41,11 +41,13 @@ multilib_src_install_all() {
 pkg_preinst() {
preserve_old_lib \
/usr/$(get_libdir)/libisl$(get_libname 14) \
-   /usr/$(get_libdir)/libisl$(get_libname 15)
+   /usr/$(get_libdir)/libisl$(get_libname 15) \
+   /usr/$(get_libdir)/libisl$(get_libname 19)
 }
 
 pkg_postinst() {
preserve_old_lib_notify \
/usr/$(get_libdir)/libisl$(get_libname 14) \
-   /usr/$(get_libdir)/libisl$(get_libname 15)
+   /usr/$(get_libdir)/libisl$(get_libname 15) \
+   /usr/$(get_libdir)/libisl$(get_libname 19)
 }



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

2019-03-27 Thread Anthony G. Basile
commit: 64e0c551b17b05162862a46e2ee1c0971a82788e
Author: Anthony G. Basile  gentoo  org>
AuthorDate: Wed Mar 27 18:43:46 2019 +
Commit: Anthony G. Basile  gentoo  org>
CommitDate: Wed Mar 27 18:44:14 2019 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=64e0c551

dev-libs/isl: version bump to 0.21.

Signed-off-by: Anthony G. Basile  gentoo.org>
Package-Manager: Portage-2.3.62, Repoman-2.3.11

 dev-libs/isl/Manifest|  1 +
 dev-libs/isl/isl-0.21.ebuild | 51 
 2 files changed, 52 insertions(+)

diff --git a/dev-libs/isl/Manifest b/dev-libs/isl/Manifest
index 182601d149d..33262140120 100644
--- a/dev-libs/isl/Manifest
+++ b/dev-libs/isl/Manifest
@@ -8,3 +8,4 @@ DIST isl-0.17.1.tar.xz 1440564 BLAKE2B 
ab2dfd50a4c5adc5ebba172ab969475adf15f5413
 DIST isl-0.18.tar.xz 1475708 BLAKE2B 
216d4d75e2bc03b3027c67ac7ab373aca6040ead12b2844504890d6fe6dd80e82c66d0f89eb1fc7451a23470445d2656f704971d3b8bfa2916154973e9b52038
 SHA512 
3606609765fc34740ab3014e2256d6bba7ff730463b014a0e4f5fcfb2e3dbef974503dff1f3702b307ef79ff86c5bc2c3ce3c3c8511533971fd5d53ab45f6eea
 DIST isl-0.19.tar.xz 1515156 BLAKE2B 
1be213df736f59123072778b9721db06130c935edf0805fd489d74c9effeb9eaf5b191de0a28e8a5138f79dc23ac9ebb213c57c020d0411afb305788b5f312cd
 SHA512 
eeda0405d38f77a18c6e69128948dc29af7e44ce827e9fb538d3844c6e22db3b4126287ca0937d9bee7b528bbab7aad8d3729db36e74864196f57e81943dade4
 DIST isl-0.20.tar.xz 1539064 BLAKE2B 
f1347c0126ba3ae9b5fa073d0f206a7f48d53edb40d87ddff18005d94754ea4d1fd3801ee913d3b7234124b6c1447990e5d299fad6c6b7ff1d022ede82bba9b2
 SHA512 
394bccd22d8e63cb052a60ad8b1a75f4ec43916a9482c66f5167b534b538161179c47919815983b7fbc20dfaa1a590e88b251850aa092bbffc2891635bf30dc4
+DIST isl-0.21.tar.xz 1621680 BLAKE2B 
ffd0c8aa7d489283ac958c280c05fe0c9ad621a10bd157d0522ac209a58e9bb6a8aad76c7a49b42d5e1c0f3605d0fb05a41ed6f2bb9aabb4f06060a5bbb65de5
 SHA512 
87ebc2fd6d4325cdfa82295a659ed6dbd70760a776b733e5503bbf8baa8fe80d905879728e9c7f23d2f3bcd7e78c00a66ab166c013ae97b603f7c460c69668ec

diff --git a/dev-libs/isl/isl-0.21.ebuild b/dev-libs/isl/isl-0.21.ebuild
new file mode 100644
index 000..a67c2164cde
--- /dev/null
+++ b/dev-libs/isl/isl-0.21.ebuild
@@ -0,0 +1,51 @@
+# Copyright 1999-2019 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="5"
+
+inherit eutils multilib-minimal preserve-libs
+
+DESCRIPTION="A library for manipulating integer points bounded by linear 
constraints"
+HOMEPAGE="http://isl.gforge.inria.fr/;
+SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
+
+LICENSE="LGPL-2.1"
+SLOT="0/21"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~s390 
~sh ~sparc ~x86 ~amd64-fbsd ~x86-fbsd"
+IUSE="static-libs"
+
+RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"
+DEPEND="${RDEPEND}
+   app-arch/xz-utils
+   virtual/pkgconfig"
+
+DOCS=( ChangeLog AUTHORS doc/manual.pdf )
+
+src_prepare() {
+   epatch "${FILESDIR}"/${PN}-0.19-gdb-autoload-dir.patch
+
+   # m4/ax_create_pkgconfig_info.m4 is broken but avoid eautoreconf
+   # https://groups.google.com/group/isl-development/t/37ad876557e50f2c
+   sed -i -e '/Libs:/s:@LDFLAGS@ ::' configure || die #382737
+}
+
+multilib_src_configure() {
+   ECONF_SOURCE="${S}" econf $(use_enable static-libs static)
+}
+
+multilib_src_install_all() {
+   einstalldocs
+   prune_libtool_files
+}
+
+pkg_preinst() {
+   preserve_old_lib \
+   /usr/$(get_libdir)/libisl$(get_libname 14) \
+   /usr/$(get_libdir)/libisl$(get_libname 15)
+}
+
+pkg_postinst() {
+   preserve_old_lib_notify \
+   /usr/$(get_libdir)/libisl$(get_libname 14) \
+   /usr/$(get_libdir)/libisl$(get_libname 15)
+}



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

2018-07-30 Thread Anthony G. Basile
commit: 5e571be604dac19c29c0684099763f2e74fb5958
Author: Anthony G. Basile  gentoo  org>
AuthorDate: Mon Jul 30 11:10:23 2018 +
Commit: Anthony G. Basile  gentoo  org>
CommitDate: Mon Jul 30 11:10:23 2018 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5e571be6

dev-libs/isl: version bump to 0.20

Package-Manager: Portage-2.3.40, Repoman-2.3.9

 dev-libs/isl/Manifest|  1 +
 dev-libs/isl/isl-0.20.ebuild | 51 
 2 files changed, 52 insertions(+)

diff --git a/dev-libs/isl/Manifest b/dev-libs/isl/Manifest
index 223448f1371..182601d149d 100644
--- a/dev-libs/isl/Manifest
+++ b/dev-libs/isl/Manifest
@@ -7,3 +7,4 @@ DIST isl-0.16.1.tar.xz 1449164 BLAKE2B 
8c048ad398d7c3de79f4d6a6c3d906b4086bbcf59
 DIST isl-0.17.1.tar.xz 1440564 BLAKE2B 
ab2dfd50a4c5adc5ebba172ab969475adf15f541305e63bed273e6a30d6087bcb9383cce16207bbcf89578bd98527f56df86b2a264c078dc9d730e3d59c326d2
 SHA512 
03d73e81db2a01c5dd31bec12816975988bf731f29b95637bc15ea24abf0becad6e8d650ca0bad45eaad4197cb0a1f5ca189aec638db162c56092a001e35d86b
 DIST isl-0.18.tar.xz 1475708 BLAKE2B 
216d4d75e2bc03b3027c67ac7ab373aca6040ead12b2844504890d6fe6dd80e82c66d0f89eb1fc7451a23470445d2656f704971d3b8bfa2916154973e9b52038
 SHA512 
3606609765fc34740ab3014e2256d6bba7ff730463b014a0e4f5fcfb2e3dbef974503dff1f3702b307ef79ff86c5bc2c3ce3c3c8511533971fd5d53ab45f6eea
 DIST isl-0.19.tar.xz 1515156 BLAKE2B 
1be213df736f59123072778b9721db06130c935edf0805fd489d74c9effeb9eaf5b191de0a28e8a5138f79dc23ac9ebb213c57c020d0411afb305788b5f312cd
 SHA512 
eeda0405d38f77a18c6e69128948dc29af7e44ce827e9fb538d3844c6e22db3b4126287ca0937d9bee7b528bbab7aad8d3729db36e74864196f57e81943dade4
+DIST isl-0.20.tar.xz 1539064 BLAKE2B 
f1347c0126ba3ae9b5fa073d0f206a7f48d53edb40d87ddff18005d94754ea4d1fd3801ee913d3b7234124b6c1447990e5d299fad6c6b7ff1d022ede82bba9b2
 SHA512 
394bccd22d8e63cb052a60ad8b1a75f4ec43916a9482c66f5167b534b538161179c47919815983b7fbc20dfaa1a590e88b251850aa092bbffc2891635bf30dc4

diff --git a/dev-libs/isl/isl-0.20.ebuild b/dev-libs/isl/isl-0.20.ebuild
new file mode 100644
index 000..2aba0579285
--- /dev/null
+++ b/dev-libs/isl/isl-0.20.ebuild
@@ -0,0 +1,51 @@
+# Copyright 1999-2018 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="5"
+
+inherit eutils multilib-minimal preserve-libs
+
+DESCRIPTION="A library for manipulating integer points bounded by linear 
constraints"
+HOMEPAGE="http://isl.gforge.inria.fr/;
+SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
+
+LICENSE="LGPL-2.1"
+SLOT="0/19"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~s390 
~sh ~sparc ~x86 ~amd64-fbsd ~x86-fbsd"
+IUSE="static-libs"
+
+RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"
+DEPEND="${RDEPEND}
+   app-arch/xz-utils
+   virtual/pkgconfig"
+
+DOCS=( ChangeLog AUTHORS doc/manual.pdf )
+
+src_prepare() {
+   epatch "${FILESDIR}"/${PN}-0.19-gdb-autoload-dir.patch
+
+   # m4/ax_create_pkgconfig_info.m4 is broken but avoid eautoreconf
+   # https://groups.google.com/group/isl-development/t/37ad876557e50f2c
+   sed -i -e '/Libs:/s:@LDFLAGS@ ::' configure || die #382737
+}
+
+multilib_src_configure() {
+   ECONF_SOURCE="${S}" econf $(use_enable static-libs static)
+}
+
+multilib_src_install_all() {
+   einstalldocs
+   prune_libtool_files
+}
+
+pkg_preinst() {
+   preserve_old_lib \
+   /usr/$(get_libdir)/libisl$(get_libname 14) \
+   /usr/$(get_libdir)/libisl$(get_libname 15)
+}
+
+pkg_postinst() {
+   preserve_old_lib_notify \
+   /usr/$(get_libdir)/libisl$(get_libname 14) \
+   /usr/$(get_libdir)/libisl$(get_libname 15)
+}



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

2018-07-21 Thread Mikle Kolyada
commit: e784473efc9a4d3fec9990ead499823bd3ee25dc
Author: Mikle Kolyada  gentoo  org>
AuthorDate: Sat Jul 21 19:43:57 2018 +
Commit: Mikle Kolyada  gentoo  org>
CommitDate: Sat Jul 21 19:44:11 2018 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e784473e

dev-libs/isl: mark s390 stable

Package-Manager: Portage-2.3.40, Repoman-2.3.9

 dev-libs/isl/isl-0.15.ebuild | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev-libs/isl/isl-0.15.ebuild b/dev-libs/isl/isl-0.15.ebuild
index a8cc1bfa4c7..9d9ec2c2bda 100644
--- a/dev-libs/isl/isl-0.15.ebuild
+++ b/dev-libs/isl/isl-0.15.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2017 Gentoo Foundation
+# Copyright 1999-2018 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI="5"
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/15"
-KEYWORDS="alpha amd64 arm arm64 hppa ia64 ~m68k ~mips ppc ppc64 ~s390 ~sh 
sparc x86 ~amd64-fbsd ~x86-fbsd"
+KEYWORDS="alpha amd64 arm arm64 hppa ia64 ~m68k ~mips ppc ppc64 s390 ~sh sparc 
x86 ~amd64-fbsd ~x86-fbsd"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2018-03-10 Thread Anthony G. Basile
commit: cbbe96bd3260884fa279fab4e8c3ff3e9918e33f
Author: Arfrever Frehtes Taifersar Arahesis  Apache  Org>
AuthorDate: Sun Mar 11 04:29:29 2018 +
Commit: Anthony G. Basile  gentoo  org>
CommitDate: Sun Mar 11 04:39:53 2018 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cbbe96bd

dev-libs/isl: Call preserve_old_lib() to fix upgrade path.

Closes: https://bugs.gentoo.org/650164

 dev-libs/isl/isl-0.19.ebuild | 14 +-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/dev-libs/isl/isl-0.19.ebuild b/dev-libs/isl/isl-0.19.ebuild
index f0dde9963d8..2aba0579285 100644
--- a/dev-libs/isl/isl-0.19.ebuild
+++ b/dev-libs/isl/isl-0.19.ebuild
@@ -3,7 +3,7 @@
 
 EAPI="5"
 
-inherit eutils multilib-minimal
+inherit eutils multilib-minimal preserve-libs
 
 DESCRIPTION="A library for manipulating integer points bounded by linear 
constraints"
 HOMEPAGE="http://isl.gforge.inria.fr/;
@@ -37,3 +37,15 @@ multilib_src_install_all() {
einstalldocs
prune_libtool_files
 }
+
+pkg_preinst() {
+   preserve_old_lib \
+   /usr/$(get_libdir)/libisl$(get_libname 14) \
+   /usr/$(get_libdir)/libisl$(get_libname 15)
+}
+
+pkg_postinst() {
+   preserve_old_lib_notify \
+   /usr/$(get_libdir)/libisl$(get_libname 14) \
+   /usr/$(get_libdir)/libisl$(get_libname 15)
+}



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

2018-03-10 Thread Anthony G. Basile
commit: 5c92beb023fa333c80af92c3cb66c09180a04854
Author: Anthony G. Basile  gentoo  org>
AuthorDate: Sat Mar 10 23:33:56 2018 +
Commit: Anthony G. Basile  gentoo  org>
CommitDate: Sat Mar 10 23:34:25 2018 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5c92beb0

dev-libs/isl: version bump to 0.19

Package-Manager: Portage-2.3.19, Repoman-2.3.6

 dev-libs/isl/Manifest  |  1 +
 dev-libs/isl/files/isl-0.19-gdb-autoload-dir.patch | 17 ++
 dev-libs/isl/isl-0.19.ebuild   | 39 ++
 3 files changed, 57 insertions(+)

diff --git a/dev-libs/isl/Manifest b/dev-libs/isl/Manifest
index 1df588490ee..223448f1371 100644
--- a/dev-libs/isl/Manifest
+++ b/dev-libs/isl/Manifest
@@ -6,3 +6,4 @@ DIST isl-0.15.tar.xz 1406988 BLAKE2B 
baa3a7d8c77e7d8416a1c9215c35fc1d6d0034c1c2c
 DIST isl-0.16.1.tar.xz 1449164 BLAKE2B 
8c048ad398d7c3de79f4d6a6c3d906b4086bbcf59c4c014a1f02cff472dc7ce92d8fec518dd3f13d389a8ffefda431ee335084c68191ec1350e78c12cf8cda03
 SHA512 
6faff2fe07267ba05c156158c36c25aa9beec6058f949b7bb9b8f042c5d01b7a3a17a6117c2c2a13ad6180308c8d03cfd469b237abf85290411599dde614788f
 DIST isl-0.17.1.tar.xz 1440564 BLAKE2B 
ab2dfd50a4c5adc5ebba172ab969475adf15f541305e63bed273e6a30d6087bcb9383cce16207bbcf89578bd98527f56df86b2a264c078dc9d730e3d59c326d2
 SHA512 
03d73e81db2a01c5dd31bec12816975988bf731f29b95637bc15ea24abf0becad6e8d650ca0bad45eaad4197cb0a1f5ca189aec638db162c56092a001e35d86b
 DIST isl-0.18.tar.xz 1475708 BLAKE2B 
216d4d75e2bc03b3027c67ac7ab373aca6040ead12b2844504890d6fe6dd80e82c66d0f89eb1fc7451a23470445d2656f704971d3b8bfa2916154973e9b52038
 SHA512 
3606609765fc34740ab3014e2256d6bba7ff730463b014a0e4f5fcfb2e3dbef974503dff1f3702b307ef79ff86c5bc2c3ce3c3c8511533971fd5d53ab45f6eea
+DIST isl-0.19.tar.xz 1515156 BLAKE2B 
1be213df736f59123072778b9721db06130c935edf0805fd489d74c9effeb9eaf5b191de0a28e8a5138f79dc23ac9ebb213c57c020d0411afb305788b5f312cd
 SHA512 
eeda0405d38f77a18c6e69128948dc29af7e44ce827e9fb538d3844c6e22db3b4126287ca0937d9bee7b528bbab7aad8d3729db36e74864196f57e81943dade4

diff --git a/dev-libs/isl/files/isl-0.19-gdb-autoload-dir.patch 
b/dev-libs/isl/files/isl-0.19-gdb-autoload-dir.patch
new file mode 100644
index 000..6f8111707e8
--- /dev/null
+++ b/dev-libs/isl/files/isl-0.19-gdb-autoload-dir.patch
@@ -0,0 +1,17 @@
+diff -Naur isl-0.19.orig/Makefile.in isl-0.19/Makefile.in
+--- isl-0.19.orig/Makefile.in  2018-03-03 11:32:15.0 -0500
 isl-0.19/Makefile.in   2018-03-10 17:29:30.039182728 -0500
+@@ -2269,10 +2269,10 @@
+   case $$libisl in \
+   '') echo Cannot find isl library name. GDB bindings not installed.;; \
+   *) echo $(INSTALL_DATA) $(srcdir)/libisl-gdb.py \
+-  $(DESTDIR)$(libdir)/$$libisl-gdb.py; \
+-  test -z "$(libdir)" || $(MKDIR_P) "$(DESTDIR)$(libdir)"; \
++  
$(DESTDIR)$(prefix)/share/gdb/auto-load$(libdir)/$$libisl-gdb.py; \
++  test -z "$(libdir)" || $(MKDIR_P) 
"$(DESTDIR)$(prefix)/share/gdb/auto-load$(libdir)"; \
+   $(INSTALL_DATA) $(srcdir)/libisl-gdb.py \
+-  $(DESTDIR)$(libdir)/$$libisl-gdb.py; \
++  $(DESTDIR)$(prefix)/share/gdb/auto-load$(libdir)/$$libisl-gdb.py; \
+   esac
+ 
+ uninstall-local:

diff --git a/dev-libs/isl/isl-0.19.ebuild b/dev-libs/isl/isl-0.19.ebuild
new file mode 100644
index 000..f0dde9963d8
--- /dev/null
+++ b/dev-libs/isl/isl-0.19.ebuild
@@ -0,0 +1,39 @@
+# Copyright 1999-2018 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="5"
+
+inherit eutils multilib-minimal
+
+DESCRIPTION="A library for manipulating integer points bounded by linear 
constraints"
+HOMEPAGE="http://isl.gforge.inria.fr/;
+SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
+
+LICENSE="LGPL-2.1"
+SLOT="0/19"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~s390 
~sh ~sparc ~x86 ~amd64-fbsd ~x86-fbsd"
+IUSE="static-libs"
+
+RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"
+DEPEND="${RDEPEND}
+   app-arch/xz-utils
+   virtual/pkgconfig"
+
+DOCS=( ChangeLog AUTHORS doc/manual.pdf )
+
+src_prepare() {
+   epatch "${FILESDIR}"/${PN}-0.19-gdb-autoload-dir.patch
+
+   # m4/ax_create_pkgconfig_info.m4 is broken but avoid eautoreconf
+   # https://groups.google.com/group/isl-development/t/37ad876557e50f2c
+   sed -i -e '/Libs:/s:@LDFLAGS@ ::' configure || die #382737
+}
+
+multilib_src_configure() {
+   ECONF_SOURCE="${S}" econf $(use_enable static-libs static)
+}
+
+multilib_src_install_all() {
+   einstalldocs
+   prune_libtool_files
+}



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

2017-06-26 Thread Alexis Ballier
commit: c117d96a2ad861709e208ed09f05833d11817db3
Author: Alexis Ballier  gentoo  org>
AuthorDate: Mon Jun 26 12:53:36 2017 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Mon Jun 26 12:53:36 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c117d96a

dev-libs/isl: mark 0.15 arm64 stable to catchup with other arches

Package-Manager: Portage-2.3.6, Repoman-2.3.2

 dev-libs/isl/isl-0.15.ebuild | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev-libs/isl/isl-0.15.ebuild b/dev-libs/isl/isl-0.15.ebuild
index 1e85aecf087..a8cc1bfa4c7 100644
--- a/dev-libs/isl/isl-0.15.ebuild
+++ b/dev-libs/isl/isl-0.15.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2015 Gentoo Foundation
+# Copyright 1999-2017 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI="5"
@@ -11,7 +11,7 @@ SRC_URI="http://isl.gforge.inria.fr/${P}.tar.xz;
 
 LICENSE="LGPL-2.1"
 SLOT="0/15"
-KEYWORDS="alpha amd64 arm ~arm64 hppa ia64 ~m68k ~mips ppc ppc64 ~s390 ~sh 
sparc x86 ~amd64-fbsd ~x86-fbsd"
+KEYWORDS="alpha amd64 arm arm64 hppa ia64 ~m68k ~mips ppc ppc64 ~s390 ~sh 
sparc x86 ~amd64-fbsd ~x86-fbsd"
 IUSE="static-libs"
 
 RDEPEND=">=dev-libs/gmp-5.1.3-r1[${MULTILIB_USEDEP}]"



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

2016-12-21 Thread Anthony G. Basile
commit: 98afec4d89c4b2e9cede5be3e0dd080d0ad27341
Author: Anthony G. Basile  gentoo  org>
AuthorDate: Wed Dec 21 17:33:29 2016 +
Commit: Anthony G. Basile  gentoo  org>
CommitDate: Wed Dec 21 17:33:29 2016 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=98afec4d

dev-libs/isl: remove version 0.11.1

Package-Manager: portage-2.3.0

 dev-libs/isl/Manifest  |  1 -
 dev-libs/isl/isl-0.11.1.ebuild | 37 -
 2 files changed, 38 deletions(-)

diff --git a/dev-libs/isl/Manifest b/dev-libs/isl/Manifest
index f716e86c..22d8575 100644
--- a/dev-libs/isl/Manifest
+++ b/dev-libs/isl/Manifest
@@ -1,4 +1,3 @@
-DIST isl-0.11.1.tar.bz2 1244610 SHA256 
095f4b54c88ca13a80d2b025d9c551f89ea7ba6f6201d701960bfe5c1466a98d SHA512 
f021ef6982b30a4834bc459af3520bd74b9c6af3e479b344c2d0e1bb4550b85cd30612e342ac761d85f1d2e2160ab3183e1252696726f438e61fb070a7a7bd22
 WHIRLPOOL 
369e6412c55b194516e4bd5c609d0fbe56093001d324d90f7c0729160f12c4cea4cdb8aa9b4fc29da4e3e95ba5a080dc5761740ffa0cadefa9e544a6b4da97fe
 DIST isl-0.12.2.tar.bz2 1319434 SHA256 
f4b3dbee9712850006e44f0db2103441ab3d13b406f77996d1df19ee89d11fb4 SHA512 
b5dea4d6b504fac22f2d8cd9c47d6896994d3966635a514d45010243db44cfbc009574b808f3587f35d91de629110bc11b52941d4075e21f8646c59656e62aea
 WHIRLPOOL 
7138e0a6249a1245fa07cd072abbbcbda19f7f9d3cf31297e7e6e535e24b5cfd12ea7aee61b68c8e0586dc90ee9a86762e3723312e099ff5edfa3f791e2ca444
 DIST isl-0.13.tar.bz2 1351299 SHA256 
7265fd897b7f9147fde76560f28ed18f2c20e5f5da7f4bd9d0e01f8a713401f1 SHA512 
ac94cc6448ce8ed5ccf987fb29d86ddd5a63c904a83df3f24f66cde25e5657180a3f2b55b207635d43930e92c860d1043d3f14e9e715d593d53c956eb8346743
 WHIRLPOOL 
3d5f7343014c07e8e50d0b82db0d6f938c9e8c7cfb2c27cd312141c3f0fef50e0bf2a7421f4fce91d6247e9a027e88d47312c1e7c56fc8d34e2b7e77589dedcf
 DIST isl-0.14.1.tar.xz 1248204 SHA256 
8882c9e36549fc757efa267706a9af733bb8d7fe3905cbfde43e17a89eea4675 SHA512 
ccae0464771db50c498fd1f9f1006c9bc183fd77a0716507daeb5da6d435fdca0942efc4589464f205615f9e46242a066f61790c40206be02f6cf8506635
 WHIRLPOOL 
e9c59808a84bd0b769698f129c0fdaf427d004afd6ee979c89f7d6bc7ce6d77f14f5389f2d0718fea6202a29d6da77a60357456117c4696735b14e6369f35985

diff --git a/dev-libs/isl/isl-0.11.1.ebuild b/dev-libs/isl/isl-0.11.1.ebuild
deleted file mode 100644
index 1133827..
--- a/dev-libs/isl/isl-0.11.1.ebuild
+++ /dev/null
@@ -1,37 +0,0 @@
-# Copyright 1999-2014 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=4
-inherit eutils
-
-DESCRIPTION="A library for manipulating integer points bounded by affine 
constraints"
-HOMEPAGE="http://www.kotnet.org/~skimo/isl/;
-SRC_URI="http://www.kotnet.org/~skimo/isl/${P}.tar.bz2;
-
-LICENSE="LGPL-2.1"
-SLOT="0"
-KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~s390 
~sh ~sparc ~x86 ~amd64-fbsd ~x86-fbsd"
-IUSE="static-libs"
-
-RDEPEND="dev-libs/gmp"
-DEPEND="${RDEPEND}"
-
-DOCS=( ChangeLog AUTHORS doc/manual.pdf )
-
-src_prepare() {
-   epatch "${FILESDIR}"/${PN}-0.07-gdb-autoload-dir.patch
-
-   # m4/ax_create_pkgconfig_info.m4 is broken but avoid eautoreconf
-   # https://groups.google.com/group/isl-development/t/37ad876557e50f2c
-   sed -i -e '/Libs:/s:@LDFLAGS@ ::' configure || die #382737
-}
-
-src_configure() {
-   econf $(use_enable static-libs static)
-}
-
-src_install() {
-   default
-   prune_libtool_files
-}



  1   2   >