@@This is an auto-filed bug@@ If you think that a different summary clarifies the issue better, feel free to change it. Issue: sci-mathematics/prover9 does not respect LDFLAGS. Discovered on: amd64 NOTE: To reproduce this issue you may want to set LDFLAGS="${LDFLAGS} -Wl,--defsym=__gentoo_check_ldflags__=0". If this is not something about c/c++ context you may want to see this bug as an hint to hide the QA warning (with QA_FLAGS_IGNORED) where is not possible to respect LDFLAGS.
Created attachment 644474 [details] build.log build log and emerge --info
tinderbox has reproduced this issue with version 2009.11a - Updating summary.
ci has reproduced this issue with version 2009.11a-r1 - Updating summary.
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(-)
