commit: 5377b0ede6969e3ce4b0c0b2b019b3835f5a7c62 Author: François-Xavier Carton <fx.carton91 <AT> gmail <DOT> com> AuthorDate: Sat Jan 15 02:20:22 2022 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Sat Jan 15 06:00:17 2022 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5377b0ed
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 <AT> gmail.com> Closes: https://github.com/gentoo/gentoo/pull/23802 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> sci-mathematics/why3/why3-1.4.0-r2.ebuild | 1 + 1 file changed, 1 insertion(+) diff --git a/sci-mathematics/why3/why3-1.4.0-r2.ebuild b/sci-mathematics/why3/why3-1.4.0-r2.ebuild index cb84e64b2802..85da04d96b8a 100644 --- a/sci-mathematics/why3/why3-1.4.0-r2.ebuild +++ b/sci-mathematics/why3/why3-1.4.0-r2.ebuild @@ -50,6 +50,7 @@ src_prepare() { sed -i 's/configure\.in/configure.ac/g' Makefile.in || die sed -e '/^lib\/why3[a-z]*\$(EXE):/{n;s/-Wall/$(CFLAGS) $(LDFLAGS)/}' \ -e '/^%.o: %.c/{n;s/\$(CC).*-o/$(CC) $(CFLAGS) -o/}' \ + -e '/\$(SPHINX)/s/ -d doc\/\.doctrees / /' \ -i Makefile.in || die eautoreconf
