dev-python / pplpy

Python bindings for the Parma Polyhedra Library (PPL)

Official package sites : https://github.com/sagemath/pplpy/ · https://pypi.org/project/pplpy/ ·

v0.8.10 :: 0/0.8.10 :: gentoo

Modified
License
GPL-3+
Keywords
amd64
USE flags
debug doc

General

debug
Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see https://wiki.gentoo.org/wiki/Project:Quality_Assurance/Backtraces
doc
Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally

python_targets

python3_10
Build with Python 3.10
python3_11
Build with Python 3.11
python3_12
Build with Python 3.12

dev-lang / python : An interpreted, interactive, object-oriented programming language

dev-libs / ppl : The Parma Polyhedra Library for numerical analysis of complex systems

dev-python / cysignals : Interrupt and signal handling for Cython

dev-python / gmpy : Python bindings for GMP, MPC, MPFR and MPIR libraries

dev-lang / python : An interpreted, interactive, object-oriented programming language

dev-libs / ppl : The Parma Polyhedra Library for numerical analysis of complex systems

dev-python / cysignals : Interrupt and signal handling for Cython

dev-python / gmpy : Python bindings for GMP, MPC, MPFR and MPIR libraries

Repository mirror & CI · gentoo
Merge updates from master
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
dev-python/pplpy: Remove old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Arthur Zamarin · gentoo
dev-python/pplpy: Stabilize 0.8.10 amd64, #929155
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
dev-python/pplpy: Force serial build again
Closes: https://bugs.gentoo.org/927770 Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
dev-python/pplpy: Fix building docs
We need to call sphinx via `python -m` and to remove source `ppl` directory, to ensure that the correct site-packages are used. Closes: https://bugs.gentoo.org/927771 Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
dev-python/pplpy: Enable py3.12
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Michał Górny · gentoo
dev-python/pplpy: Bump to 0.8.10
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michael Orlitzky · gentoo
dev-python/pplpy: stabilize 0.8.9 for amd64
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michael Orlitzky · gentoo
dev-python/pplpy: new package, add 0.8.9
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>