https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/ Issue: sci-mathematics/why3-1.4.0 fails to compile. Discovered on: amd64 (internal ref: ci) NOTE: If you think this is a GCC-11 related issue, please block bug 732706.
Created attachment 758623 [details] build.log build log and emerge --info
Error(s) that match a know pattern: /bin/sh: line 1: bin/why3: No such file or directory /bin/sh: line 1: tred: command not found
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=61686012dfc33cda5b87f4726ffce518c68897dc commit 61686012dfc33cda5b87f4726ffce518c68897dc Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2021-12-12 12:13:18 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2021-12-12 12:14:50 +0000 sci-mathematics/why3: fix *DEPEND Closes: https://bugs.gentoo.org/828974 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org> .../{why3-1.4.0.ebuild => why3-1.4.0-r1.ebuild} | 31 ++++++++++++---------- 1 file changed, 17 insertions(+), 14 deletions(-)
