https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/ Issue: sci-mathematics/z3-4.8.11b calls commands that do not exist. Discovered on: amd64 (internal ref: ci) NOTE: This machine uses GCC-11: https://gcc.gnu.org/gcc-11/porting_to.html Please look for 'command not found' and/or 'no such file or directory'.
Created attachment 745857 [details] build.log.xz build log and emerge --info (compressed because it exceeds attachment limit, use 'xzless' to read it)
ci has reproduced this issue with version 4.8.13 - Updating summary.
ci has reproduced this issue with version 4.8.14 - Updating summary.
ci has reproduced this issue with version 4.8.15 - Updating summary.
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5d07ea9a62bc5988e9fcf1b53e1f985f93e58747 commit 5d07ea9a62bc5988e9fcf1b53e1f985f93e58747 Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2022-03-21 13:34:00 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2022-03-21 13:36:04 +0000 sci-mathematics/z3: fix documentation - add missing dot dependency - install documentation into correct directory (use PF) Closes: https://bugs.gentoo.org/818991 Signed-off-by: Maciej Barć <xgqt@gentoo.org> sci-mathematics/z3/{z3-4.8.14.ebuild => z3-4.8.14-r1.ebuild} | 4 ++-- sci-mathematics/z3/{z3-4.8.15.ebuild => z3-4.8.15-r1.ebuild} | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-)
