Summary: | sci-mathematics/why3-for-spark-2021-r1 fails to compile (DASH-SYSTEM): Could not import extension sphinxcontrib.bibtex (exception: No module named sphinxcontrib.bibtex) | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Agostino Sarubbo <ago> |
Component: | Current packages | Assignee: | Tupone Alfredo <tupone> |
Status: | RESOLVED FIXED | ||
Severity: | normal | CC: | python |
Priority: | Normal | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Attachments: | build.log |
Description
Agostino Sarubbo
2023-01-13 21:53:53 UTC
Created attachment 848402 [details]
build.log
build log and emerge --info
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. 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 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(-) |