https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/ Issue: sci-mathematics/why3-1.4.0-r2 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 762108 [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
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5377b0ede6969e3ce4b0c0b2b019b3835f5a7c62 commit 5377b0ede6969e3ce4b0c0b2b019b3835f5a7c62 Author: François-Xavier Carton <fx.carton91@gmail.com> AuthorDate: 2022-01-15 02:20:22 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2022-01-15 06:00:17 +0000 sci-mathematics/why3: fix race condition in parallel make doc "make doc" uses sphinx to build both latex and html documentation. Both sphinx rules in the makefile include "-d doc/.doctrees", ie. the same path for "the cached environment and doctree files". In a parallel make build, the rules are called simulateously, which means the cached files could be read by one process while they are still being written by the other. Closes: https://bugs.gentoo.org/831168 Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/23802 Signed-off-by: Maciej Barć <xgqt@gentoo.org> sci-mathematics/why3/why3-1.4.0-r2.ebuild | 1 + 1 file changed, 1 insertion(+)
