Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 890756 - sci-mathematics/why3-for-spark-2021-r1 fails to compile (DASH-SYSTEM): Could not import extension sphinxcontrib.bibtex (exception: No module named sphinxcontrib.bibtex)
Summary: sci-mathematics/why3-for-spark-2021-r1 fails to compile (DASH-SYSTEM): Could ...
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Tupone Alfredo
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2023-01-13 21:53 UTC by Agostino Sarubbo
Modified: 2024-01-20 19:44 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---


Attachments
build.log (build.log,688.04 KB, text/plain)
2023-01-13 21:53 UTC, Agostino Sarubbo
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Agostino Sarubbo gentoo-dev 2023-01-13 21:53:53 UTC
https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/

Issue: sci-mathematics/why3-for-spark-2021-r1 fails to compile (DASH-SYSTEM).
Discovered on: amd64 (internal ref: dash_tinderbox)

NOTE:
(DASH-SYSTEM) in the summary means that the bug was found on a machine that runs /bin/sh as dash but this bug MAY or MAY NOT BE related to dash.
Comment 1 Agostino Sarubbo gentoo-dev 2023-01-13 21:53:55 UTC
Created attachment 848402 [details]
build.log

build log and emerge --info
Comment 2 Agostino Sarubbo gentoo-dev 2023-01-13 21:53:56 UTC
Error(s) that match a know pattern in addition to what has been reported in the summary:


/bin/sh: 1: bin/why3: not found
Could not import extension sphinxcontrib.bibtex (exception: No module named 'sphinxcontrib.bibtex')
Warning 70 [missing-mli]: Cannot find interface file.
Comment 3 Tupone Alfredo gentoo-dev 2023-04-02 15:35:10 UTC
At a first glance does not seems a why3 packaging error.

It is failing at sphinx-build requiring sphinxcontrib-bibtex that seems installed.

At least I am not able to fix it
Comment 4 Larry the Git Cow gentoo-dev 2024-01-20 19:44:05 UTC
The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d8cc0b75dab04d7bb398c8d3534e710d15191418

commit d8cc0b75dab04d7bb398c8d3534e710d15191418
Author:     Alfredo Tupone <tupone@gentoo.org>
AuthorDate: 2024-01-20 19:42:15 +0000
Commit:     Alfredo Tupone <tupone@gentoo.org>
CommitDate: 2024-01-20 19:42:15 +0000

    profiles/base: doc generation for why3-for-spark broken
    
    Closes: https://bugs.gentoo.org/890756
    Signed-off-by: Alfredo Tupone <tupone@gentoo.org>

 profiles/base/package.use.mask        | 4 ++++
 profiles/base/package.use.stable.mask | 6 +-----
 2 files changed, 5 insertions(+), 5 deletions(-)