dev-libs / ppl

The Parma Polyhedra Library for numerical analysis of complex systems

Official package sites : http://bugseng.com/products/ppl ·

v1.2-r3 :: 0/4.14 :: gentoo

Modified
License
GPL-3
Keywords
amd64 arm ppc ppc64 sparc x86 ~alpha ~amd64-linux ~arm64 ~hppa ~ia64 ~m68k ~mips ~s390 ~sparc-solaris
USE flags
cdd cxx doc lpsol pch static-libs test

General

cdd
Build the ppl_lcdd program for vertex/facet enumeration accepting the same input format as the programs shipped with sci-libs/cddlib and sci-libs/lrslib
cxx
Build support for C++ (bindings, extra libraries, code generation, ...)
doc
Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
lpsol
Build the ppl_lpsol linear program solver that uses sci-mathematics/glpk for its input routines
pch
Enable precompiled header support for faster compilation at the expense of disk space and memory (>=sys-devel/gcc-3.4 only)
static-libs
Build static versions of dynamic libraries as well
test
Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)

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

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

sci-mathematics / glpk : GNU Linear Programming Kit

sys-devel / m4 : GNU macro processor

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

sci-mathematics / glpk : GNU Linear Programming Kit

sci-mathematics / polymake : research tool for polyhedral geometry and combinatorics

Repository mirror & CI · gentoo
Merge updates from master
Joonas Niilola · gentoo
dev-libs/ppl: fix SizeViolation issue
Closes: https://bugs.gentoo.org/748171 Signed-off-by: Joonas Niilola <juippis@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michael Orlitzky · gentoo
dev-libs/ppl: remove old "unused" versions.
Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
dev-libs/ppl: x86 stable wrt bug #727724
Package-Manager: Portage-2.3.99, Repoman-2.3.22 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo · gentoo
dev-libs/ppl: ppc64 stable wrt bug #727724
Package-Manager: Portage-2.3.99, Repoman-2.3.22 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo · gentoo
dev-libs/ppl: ppc stable wrt bug #727724
Package-Manager: Portage-2.3.99, Repoman-2.3.22 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo · gentoo
dev-libs/ppl: arm stable wrt bug #727724
Package-Manager: Portage-2.3.99, Repoman-2.3.22 RepoMan-Options: --include-arches="arm" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo · gentoo
dev-libs/ppl: amd64 stable wrt bug #727724
Package-Manager: Portage-2.3.99, Repoman-2.3.22 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
dev-libs/ppl: sparc stable wrt bug #727724
Package-Manager: Portage-2.3.99, Repoman-2.3.22 RepoMan-Options: --include-arches="sparc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michael Orlitzky · gentoo
dev-libs/ppl: new revision to fix the build with clang.
This new revision includes an upstream patch (from their git repository) to fix the build with clang by adding some missing keywords that should have been there all along. Thanks to Olivier Huber for the report and for tracking down the patch. When building with clang, the ./configure script spits out scary warnings about missing the GCC-specific -frounding-math flag. I wouldn't worry about it, but judge for yourself. Closes: https://bugs.gentoo.org/717768 Package-Manager: Portage-2.3.89, Repoman-2.3.20 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michael Orlitzky · gentoo
dev-libs/ppl: drop old "unused" ebuilds.
Package-Manager: Portage-2.3.89, Repoman-2.3.20 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
Agostino Sarubbo · gentoo
dev-libs/ppl: x86 stable wrt bug #717570
Package-Manager: Portage-2.3.89, Repoman-2.3.20 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo · gentoo
dev-libs/ppl: ppc64 stable wrt bug #717570
Package-Manager: Portage-2.3.89, Repoman-2.3.20 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo · gentoo
dev-libs/ppl: arm stable wrt bug #717570
Package-Manager: Portage-2.3.89, Repoman-2.3.20 RepoMan-Options: --include-arches="arm" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
dev-libs/ppl: ppc stable wrt bug #717570
Package-Manager: Portage-2.3.89, Repoman-2.3.20 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo · gentoo
dev-libs/ppl: amd64 stable wrt bug #717570
Package-Manager: Portage-2.3.89, Repoman-2.3.20 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo · gentoo
dev-libs/ppl: sparc stable wrt bug #717570
Package-Manager: Portage-2.3.89, Repoman-2.3.20 RepoMan-Options: --include-arches="sparc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michael Orlitzky · gentoo
dev-libs/ppl: new revision to work around broken tests.
We have a reported test failure on PPC64 that kills the build. There are a few other problematic tests that have been reported upstream as well. Since PPL takes so long to build and test, this commit disables those tests to avoid wasting users' time. Bug: https://bugs.gentoo.org/717258 Upstream-bug: https://www.cs.unipr.it/mantis/view.php?id=2653 Upstream-bug: https://www.cs.unipr.it/mantis/view.php?id=2120 Upstream-bug: https://www.cs.unipr.it/mantis/view.php?id=1078 Upstream-bug: https://www.cs.unipr.it/mantis/view.php?id=2113 Package-Manager: Portage-2.3.89, Repoman-2.3.20 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Rolf Eike Beer · gentoo
dev-libs/ppl: drop to ~hppa
Package-Manager: Portage-2.3.89, Repoman-2.3.20 RepoMan-Options: --include-arches="hppa" Signed-off-by: Rolf Eike Beer <eike@sf-mail.de> Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Repository mirror & CI · gentoo
Merge updates from master
Sergei Trofimovich · gentoo
dev-libs/ppl: drop old
Package-Manager: Portage-2.3.96, Repoman-2.3.22 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
Matt Turner · gentoo
*/*: Drop stable ia64 keywords
Signed-off-by: Matt Turner <mattst88@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Mikle Kolyada · gentoo
*/*: Discontinue Gentoo SuperH port
Package-Manager: Portage-2.3.89, Repoman-2.3.20 RepoMan-Options: --ignore-arches Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
David Seifert · gentoo
*/*: [QA] Remove redundant --docdir/--htmldir
Closes: https://github.com/gentoo/gentoo/pull/14742 Signed-off-by: David Seifert <soap@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
*/*: Bump copyright on files touched this year
Update the copyright notice on all files that were touched since January 1st but did not have the notice updated. Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Matt Turner · gentoo
*/*: Drop stable alpha keywords
Signed-off-by: Matt Turner <mattst88@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sergei Trofimovich · gentoo
dev-libs/ppl: bump up to EAPI=7
Package-Manager: Portage-2.3.79, Repoman-2.3.18 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
Sergei Trofimovich · gentoo
dev-libs/ppl: add RESTRICT="!test? ( test )"
Package-Manager: Portage-2.3.79, Repoman-2.3.18 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
Sergei Trofimovich · gentoo
dev-libs/ppl: drop old dev-libs/cloog-ppl blocker
Package-Manager: Portage-2.3.79, Repoman-2.3.18 Signed-off-by: Sergei Trofimovich <slyfox@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>
Mart Raudsepp · gentoo
dev-libs/ppl: drop to ~arm64
Only sci-mathematics/polymake uses this, and we don't have that even ~arm64 keyworded, so drop unnecessary ppl from stable instead of catching up in version with other architectures. Package-Manager: Portage-2.3.28, Repoman-2.3.9
Michał Górny · gentoo
*/*: Remove sparc-fbsd keywords
Harri Nieminen · gentoo
dev-libs/ppl: Remove old EAPI3
Package-Manager: Portage-2.3.16, Repoman-2.3.6 Closes: https://github.com/gentoo/gentoo/pull/6384
Andreas K. Hüttel · gentoo
dev-libs/ppl: stable for x86, bug 632277
All tests pass. Last arch, closing. Closes: https://bugs.gentoo.org/632277 Package-Manager: Portage-2.3.12, Repoman-2.3.3
Manuel Rüger · gentoo
dev-libs/ppl: Stable on amd64
Package-Manager: Portage-2.3.12, Repoman-2.3.3
Markus Meier · gentoo
dev-libs/ppl: arm stable, bug #632277
Package-Manager: Portage-2.3.8, Repoman-2.3.3 RepoMan-Options: --include-arches="arm"
Tobias Klausmann · gentoo
dev-libs/ppl-1.2-r0: alpha stable
Gentoo-Bug: http://bugs.gentoo.org/632277
Sergei Trofimovich · gentoo
dev-libs/ppl: stable 1.2 for hppa, bug #632277 (thanks to Rolf Eike Beer)
Package-Manager: Portage-2.3.10, Repoman-2.3.3 RepoMan-Options: --include-arches="hppa"
Sergei Trofimovich · gentoo
dev-libs/ppl: stable 1.2 for ppc/ppc64, bug #632277
Package-Manager: Portage-2.3.10, Repoman-2.3.3 RepoMan-Options: --include-arches="ppc ppc64"
Sergei Trofimovich · gentoo
dev-libs/ppl: stable 1.2 for ia64, bug #632277
Package-Manager: Portage-2.3.10, Repoman-2.3.3 RepoMan-Options: --include-arches="ia64"
Sergei Trofimovich · gentoo
dev-libs/ppl: stable 1.2 for sparc, bug #632277 (thanks to Rolf Eike Beer)
Package-Manager: Portage-2.3.10, Repoman-2.3.3 RepoMan-Options: --include-arches="sparc"
Jonas Stein · gentoo
dev-libs/ppl: Shorter DESCRIPTION
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
Mike Frysinger · gentoo
dev-libs/ppl: version bump to 1.2 #601156
Tobias Klausmann · gentoo
dev-libs/ppl: add alpha keyword
Gentoo-Bug: 562068 Package-Manager: portage-2.2.27
Markus Meier · gentoo
dev-libs/ppl: arm stable, bug #562068
Package-Manager: portage-2.2.23 RepoMan-Options: --include-arches="arm"
Mike Frysinger · gentoo
dev-libs/ppl: mark 1.1 arm64/ia64/m68k/s390/sh stable #562068
Mikle Kolyada · gentoo
dev-libs/ppl: sparc stable wrt bug #562068
Package-Manager: portage-2.2.20.1
Mikle Kolyada · gentoo
dev-libs/ppl: x86 stable wrt bug #562068
Package-Manager: portage-2.2.20.1
Agostino Sarubbo · gentoo
dev-libs/ppl: amd64 stable wrt bug #562068
Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="amd64"
Anthony G. Basile · gentoo
dev-libs/ppl: 1.1 stable for ppc and ppc64. bug #562068.
Package-Manager: portage-2.2.20.1
Jeroen Roovers · gentoo
dev-libs/ppl: Stable for HPPA (bug #562068).
Package-Manager: portage-2.2.22 RepoMan-Options: --ignore-arches
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