dev-libs / isl

A library for manipulating integer points bounded by linear constraints

Official package sites : http://isl.gforge.inria.fr/ ·

v0.22 :: 0/22 :: gentoo

Modified
License
LGPL-2.1
Keywords
~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv ~s390 ~sh ~sparc ~x86
USE flags
static-libs

v0.21 :: 0/21 :: gentoo

Modified
License
LGPL-2.1
Keywords
alpha amd64 arm arm64 hppa ia64 m68k ppc ppc64 s390 sh sparc x86 ~mips ~riscv
USE flags
static-libs

v0.12.2 :: 0/10 :: gentoo

Modified
License
LGPL-2.1
Keywords
alpha amd64 arm arm64 ia64 m68k ppc ppc64 s390 sh sparc x86 ~hppa ~mips
USE flags
static-libs

General

static-libs
Build static versions of dynamic libraries as well

abi_mips

n32
64-bit (32-bit pointer) libraries
n64
64-bit libraries
o32
32-bit libraries

abi_riscv

lp64
64-bit (rv64) soft-float libraries
lp64d
64-bit (rv64) double hard-float libraries

abi_s390

32
32-bit (s390) libraries
64
64-bit (s390x) libraries

abi_x86

32
32-bit (x86) libraries
64
64-bit (amd64) libraries
x32
x32 ABI libraries

app-arch / xz-utils : utils for managing LZMA compressed files

dev-libs / gmp : Library for arbitrary-precision arithmetic on different type of numbers

virtual / pkgconfig : Virtual for the pkg-config implementation

dev-libs / gmp : Library for arbitrary-precision arithmetic on different type of numbers

dev-lang / gnat-gpl : GNAT Ada Compiler - GPL version

dev-libs / cloog : A loop generator for scanning polyhedra

sys-devel / gcc : The GNU Compiler Collection

595132
dev-libs/cloog-0.18.4 with >=dev-libs/isl-0.16.1 fails tests
650304
dev-libs/cloog-0.18.4 with >=dev-libs/isl-0.19: …/libcloog-isl.so: undefined reference to `isl_basic_set_drop_constraint'
Repository mirror & CI · gentoo
Merge updates from master
Repository mirror & CI · gentoo
Merge updates from master
Sergei Trofimovich · gentoo
dev-libs/isl: restore 0.12.2
Used by cloog-0.18.1. Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
Sergei Trofimovich · gentoo
dev-libs/isl: drop old
Package-Manager: Portage-2.3.79, Repoman-2.3.18 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Anthony G. Basile · gentoo
dev-libs/isl: version bump to 0.22
Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Anthony G. Basile <blueness@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
dev-libs: Remove *-fbsd KEYWORDS
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Matt Turner · gentoo
dev-libs/isl-0.21: alpha stable, bug 693842
Signed-off-by: Matt Turner <mattst88@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sergei Trofimovich · gentoo
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 <slyfox@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
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 <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Mikle Kolyada · gentoo
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 <zlogene@gentoo.org>
Mikle Kolyada · gentoo
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 <zlogene@gentoo.org>
Mikle Kolyada · gentoo
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 <zlogene@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
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 <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
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 <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sergei Trofimovich · gentoo
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 <slyfox@gentoo.org>
Sergei Trofimovich · gentoo
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 <slyfox@gentoo.org>
Sergei Trofimovich · gentoo
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 <slyfox@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Aaron Bauman · gentoo
dev-libs/isl: arm64 stable (bug #693842)
Signed-off-by: Aaron Bauman <bman@gentoo.org> Package-Manager: Portage-2.3.75, Repoman-2.3.17 RepoMan-Options: --include-arches="arm64"
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
dev-libs/isl: amd64 stable wrt bug #693842
Signed-off-by: Agostino Sarubbo <ago@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11 RepoMan-Options: --include-arches="amd64"
Repository mirror & CI · gentoo
Merge updates from master
Mikle Kolyada · gentoo
dev-libs/isl: Add ~riscv keyword
Signed-off-by: Mikle Kolyada <zlogene@gentoo.org> Package-Manager: Portage-2.3.62, Repoman-2.3.11
Repository mirror & CI · gentoo
Merge updates from master
Sergei Trofimovich · gentoo
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 <slyfox@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Anthony G. Basile · gentoo
dev-libs/isl: bump version 0.21 to EAPI=6
Signed-off-by: Anthony G. Basile <blueness@gentoo.org> Package-Manager: Portage-2.3.62, Repoman-2.3.11
Repository mirror & CI · gentoo
Merge updates from master
Arfrever Frehtes Taifersar Arahesis · gentoo
dev-libs/isl: Update list of preserved libraries from older versions.
Fixes: https://bugs.gentoo.org/681952 Signed-off-by: Arfrever Frehtes Taifersar Arahesis <Arfrever@Apache.Org> Signed-off-by: Anthony G. Basile <blueness@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Anthony G. Basile · gentoo
dev-libs/isl: version bump to 0.21.
Signed-off-by: Anthony G. Basile <blueness@gentoo.org> Package-Manager: Portage-2.3.62, Repoman-2.3.11
Repository mirror & CI · gentoo
Merge updates from master
Anthony G. Basile · gentoo
dev-libs/isl: version bump to 0.20
Package-Manager: Portage-2.3.40, Repoman-2.3.9
Repository mirror & CI · gentoo
Merge updates from master
Mikle Kolyada · gentoo
dev-libs/isl: mark s390 stable
Package-Manager: Portage-2.3.40, Repoman-2.3.9
Arfrever Frehtes Taifersar Arahesis · gentoo
dev-libs/isl: Call preserve_old_lib() to fix upgrade path.
Closes: https://bugs.gentoo.org/650164
Anthony G. Basile · gentoo
dev-libs/isl: version bump to 0.19
Package-Manager: Portage-2.3.19, Repoman-2.3.6
Alexis Ballier · gentoo
dev-libs/isl: mark 0.15 arm64 stable to catchup with other arches
Package-Manager: Portage-2.3.6, Repoman-2.3.2
Robin H. Johnson · gentoo
Drop $Id$ per council decision in bug #611234.
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
T. Malfatti · gentoo
media-libs/portaudio: Version bump
Anthony G. Basile · gentoo
dev-libs/isl: remove version 0.11.1
Package-Manager: portage-2.3.0
Anthony G. Basile · gentoo
dev-libs/isl: version bump to 0.18
Package-Manager: portage-2.3.0
Anthony G. Basile · gentoo
dev-libs/isl: bump to 0.17.1 for upstream bug fix
Package-Manager: portage-2.2.26
Anthony G. Basile · gentoo
dev-libs/isl: version bump to 0.17
Package-Manager: portage-2.2.26
Anthony G. Basile · gentoo
dev-libs/isl: version bump to 0.16.1
Package-Manager: portage-2.2.26
Agostino Sarubbo · gentoo
dev-libs/isl: ia64 stable wrt bug #570016
Package-Manager: portage-2.2.26 RepoMan-Options: --include-arches="ia64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo · gentoo
dev-libs/isl: alpha stable wrt bug #570016
Package-Manager: portage-2.2.26 RepoMan-Options: --include-arches="alpha" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Markus Meier · gentoo
dev-libs/isl: arm stable, bug #570016
Package-Manager: portage-2.2.26 RepoMan-Options: --include-arches="arm"
Jeroen Roovers · gentoo
dev-libs/isl: Stable for HPPA (bug #570016).
Package-Manager: portage-2.2.26 RepoMan-Options: --ignore-arches
Agostino Sarubbo · gentoo
dev-libs/isl: sparc stable wrt bug #570016
Package-Manager: portage-2.2.26 RepoMan-Options: --include-arches="sparc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Ian Delaney · gentoo
Merge remote-tracking branch 'remotes/Coacher/flacon-remove-old'
Pull request: https://github.com/gentoo/gentoo/pull/612
Agostino Sarubbo · gentoo
dev-libs/isl: x86 stable wrt bug #570016
Package-Manager: portage-2.2.26 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo · gentoo
dev-libs/isl: amd64 stable wrt bug #570016
Package-Manager: portage-2.2.26 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Patrice Clement · gentoo
Merge remote-tracking branch 'github/pr/548'.
Anthony G. Basile · gentoo
dev-libs/isl: version 0.15 stable on ppc and ppc64, bug #570016
Package-Manager: portage-2.2.24
Mike Frysinger · gentoo
dev-libs/isl: mark 0.12.2 ia64 stable #545124
Justin Lecher · gentoo
Enable https for all google URIs
Signed-off-by: Justin Lecher <jlec@gentoo.org>
Robin H. Johnson · gentoo
proj/gentoo: Initial commit
This commit represents a new era for Gentoo: Storing the gentoo-x86 tree in Git, as converted from CVS. This commit is the start of the NEW history. Any historical data is intended to be grafted onto this point. Creation process: 1. Take final CVS checkout snapshot 2. Remove ALL ChangeLog* files 3. Transform all Manifests to thin 4. Remove empty Manifests 5. Convert all stale $Header$/$Id$ CVS keywords to non-expanded Git $Id$ 5.1. Do not touch files with -kb/-ko keyword flags. Signed-off-by: Robin H. Johnson <robbat2@gentoo.org> X-Thanks: Alec Warner <antarus@gentoo.org> - did the GSoC 2006 migration tests X-Thanks: Robin H. Johnson <robbat2@gentoo.org> - infra guy, herding this project X-Thanks: Nguyen Thai Ngoc Duy <pclouds@gentoo.org> - Former Gentoo developer, wrote Git features for the migration X-Thanks: Brian Harring <ferringb@gentoo.org> - wrote much python to improve cvs2svn X-Thanks: Rich Freeman <rich0@gentoo.org> - validation scripts X-Thanks: Patrick Lauer <patrick@gentoo.org> - Gentoo dev, running new 2014 work in migration X-Thanks: Michał Górny <mgorny@gentoo.org> - scripts, QA, nagging X-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed