Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/stp
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/stp: build tweaksMaciej Barć2024-06-292-4/+14
| | | | | Closes: https://bugs.gentoo.org/880135 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/stp: bump to 2.3.4Maciej Barć2024-06-284-0/+160
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/stp: enable py3.12 compatMaciej Barć2024-04-291-18/+26
| | | | | Closes: https://bugs.gentoo.org/929798 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/stp: update PYTHON_COMPAT; add help2man to BDEPENDMaciej Barć2023-02-221-11/+17
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/stp: patch - include cstdintMaciej Barć2023-02-202-0/+14
| | | | | Closes: https://bugs.gentoo.org/895096 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/stp: rename patchesMaciej Barć2023-02-203-2/+2
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* */*: remove py3.8 from PYTHON_COMPATDavid Seifert2023-01-141-2/+2
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/stp: do not run C API testsMaciej Barć2022-11-061-1/+3
| | | | | Closes: https://bugs.gentoo.org/879325 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/stp: compile python modulesMaciej Barć2022-08-081-1/+6
| | | | | Closes: https://bugs.gentoo.org/864124 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/stp: filter LTO (ODR)Maciej Barć2022-08-071-2/+6
| | | | | Closes: https://bugs.gentoo.org/863263 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/stp: multiple fixesMaciej Barć2021-12-276-67/+161
| | | | | | | | | | | | | | - add missing test submodules - add optional cryptominisat dependency (USE=dependency) - add the Gentoo Mathematics Project to co-maintainers - change python to optional dependency (USE=python) - install PDF documentation - patch CMakeLists.txt to fix CFLAGS - patch stp.py to fix python module Closes: https://bugs.gentoo.org/759457 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/stp: dev-libs -> sci-mathematicsMaciej Barć2021-12-273-0/+72
Signed-off-by: Maciej Barć <xgqt@gentoo.org>