Summary: | sci-mathematics/prover9-2009.11a - select.c: error: parameter max_constrained was not declared, defaults | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Toralf Förster <toralf> |
Component: | Current packages | Assignee: | Gentoo Science Mathematics related packages <sci-mathematics> |
Status: | RESOLVED FIXED | ||
Severity: | normal | CC: | sci-mathematics |
Priority: | Normal | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | ~arch only | ||
Package list: | Runtime testing required: | --- | |
Bug Depends on: | |||
Bug Blocks: | 870412 | ||
Attachments: |
emerge-info.txt
emerge-history.txt environment etc.portage.tar.bz2 sci-mathematics:prover9-2009.11a:20220918-100958.log temp.tar.bz2 |
Description
Toralf Förster
![]() Created attachment 810850 [details]
emerge-info.txt
Created attachment 810853 [details]
emerge-history.txt
Created attachment 810856 [details]
environment
Created attachment 810859 [details]
etc.portage.tar.bz2
Created attachment 810862 [details]
sci-mathematics:prover9-2009.11a:20220918-100958.log
Created attachment 810865 [details]
temp.tar.bz2
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4d739c66f105c508c0eff3ac4d8d287debc86ae0 commit 4d739c66f105c508c0eff3ac4d8d287debc86ae0 Author: NHOrus <jy6x2b32pie9@yahoo.com> AuthorDate: 2025-02-23 19:34:55 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2025-02-23 22:23:16 +0000 sci-mathematics/prover9: Port to C99, fix parallel build. Add ints to implicitly-declared function parameters that are actually ints Remove all the cleans that were scattered around makefiles. They are useful for development only and only hinder packaged build. Pipe CFLAG to last place it's needed to be used, for linking a library. Closes: https://bugs.gentoo.org/728030 Closes: https://bugs.gentoo.org/871261 Closes: https://bugs.gentoo.org/881475 Closes: https://bugs.gentoo.org/886597 Closes: https://bugs.gentoo.org/887409 Closes: https://bugs.gentoo.org/911554 Signed-off-by: NHOrus <jy6x2b32pie9@yahoo.com> Closes: https://github.com/gentoo/gentoo/pull/40720 Signed-off-by: Maciej Barć <xgqt@gentoo.org> .../prover9/files/LADR-2009-11A-c99.patch | 25 ++++++ .../files/LADR-2009-11A-stable-ordering.patch | 91 ++++++++++++++++++++++ ...09.11a-r1.ebuild => prover9-2009.11a-r2.ebuild} | 9 ++- 3 files changed, 121 insertions(+), 4 deletions(-) |