https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/ Issue: sci-mathematics/why3-for-spark-2021 fails to compile. Discovered on: amd64 (internal ref: ci) NOTE: This machine uses GCC-11: https://gcc.gnu.org/gcc-11/porting_to.html If you think this is a GCC-11 related issue, please block bug 732706.
Created attachment 715653 [details] build.log build log and emerge --info
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=56f5892bc2fcb42fb1f05b81941d40070d584f0f commit 56f5892bc2fcb42fb1f05b81941d40070d584f0f Author: Alfredo Tupone <tupone@gentoo.org> AuthorDate: 2021-06-13 08:13:20 +0000 Commit: Alfredo Tupone <tupone@gentoo.org> CommitDate: 2021-06-13 08:13:20 +0000 dev-ml/num: changing compiler need a rebuild, add RDEPEND Closes: https://bugs.gentoo.org/795711 Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> dev-ml/num/num-1.4-r1.ebuild | 2 ++ 1 file changed, 2 insertions(+)
