diff options
| author |   François-Xavier Carton <fx.carton91@gmail.com> | 2022-01-15 03:20:22 +0100 |
|---|---|---|
| committer |   Maciej Barć <xgqt@gentoo.org> | 2022-01-15 07:00:17 +0100 |
| commit | 5377b0ede6969e3ce4b0c0b2b019b3835f5a7c62 (patch) | |
| tree | a2c09af0952c6b0439c19b70e64a8abacc3f240a /sci-mathematics/why3 | |
| parent | dev-util/bcc: Set myself as primary maintainer (diff) | |
| download | gentoo-5377b0ede6969e3ce4b0c0b2b019b3835f5a7c62.tar.gz gentoo-5377b0ede6969e3ce4b0c0b2b019b3835f5a7c62.tar.bz2 gentoo-5377b0ede6969e3ce4b0c0b2b019b3835f5a7c62.zip | |
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>
Diffstat (limited to 'sci-mathematics/why3')
| -rw-r--r-- | sci-mathematics/why3/why3-1.4.0-r2.ebuild | 1 |
1 files changed, 1 insertions, 0 deletions
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 |