Bug 1823515

Summary:	yices fails to build with Sphinx 3.0.0
Product:	[Fedora] Fedora	Reporter:	Charalampos Stratakis <cstratak>
Component:	yices	Assignee:	Jerry James <loganjerry>
Status:	CLOSED NEXTRELEASE	QA Contact:	Fedora Extras Quality Assurance <extras-qa>
Severity:	unspecified	Docs Contact:
Priority:	unspecified
Version:	rawhide	CC:	cstratak, loganjerry, mhroncok
Target Milestone:	---
Target Release:	---
Hardware:	Unspecified
OS:	Unspecified
Whiteboard:
Fixed In Version:		Doc Type:	If docs needed, set a value
Doc Text:		Story Points:	---
Clone Of:		Environment:
Last Closed:	2020-06-30 17:37:47 UTC	Type:	Bug
Regression:	---	Mount Type:	---
Documentation:	---	CRM:
Verified Versions:		Category:	---
oVirt Team:	---	RHEL 7.3 requirements from Atomic Host:
Cloudforms Team:	---	Target Upstream Version:
Embargoed:
Bug Depends On:
Bug Blocks:	1783776, 1803234

Description Charalampos Stratakis 2020-04-13 20:54:44 UTC

yices fails to build with Sphinx 3.0.0.

sphinx-build -b html -d build/doctrees   source build/html
Running Sphinx v3.0.1

Extension error:
Could not import extension cenum (exception: cannot import name 'l_' from 'sphinx.locale' (/usr/lib/python3.8/site-packages/sphinx/locale/__init__.py))
make: *** [Makefile:54: html] Error 2
make: Leaving directory '/builddir/build/BUILD/yices2-Yices-2.6.2/doc/sphinx'

For the build logs, see:
https://copr-be.cloud.fedoraproject.org/results/cstratak/sphinx_3.0.0/fedora-rawhide-x86_64/01335418-yices/

For all our attempts to build yices with Sphinx 3.0.0, see:
https://copr.fedorainfracloud.org/coprs/cstratak/sphinx_3.0.0/package/yices/

Testing and mass rebuild of packages is happening in copr. You can follow these instructions to test locally in mock if your package builds with Sphinx 3:
https://copr.fedorainfracloud.org/coprs/cstratak/sphinx_3.0.0/

Let us know here if you have any questions.

Sphinx 3 will be included in Fedora 33. To make that update smoother, we're building the dependent packages in Copr.
We'd appreciate help from the people who know this package best, but if you don't want to work on this now, let us know so we can try to work around it on our side.

Comment 1 Jerry James 2020-04-16 17:56:43 UTC

I have reported the issue upstream and added a workaround to the Fedora package in Rawhide.

Comment 2 Charalampos Stratakis 2020-04-17 00:28:15 UTC

Thank you.

The bug can be closed if you wish, or it can stay open if you'd like to track it in regards to the upstream fix.

Comment 3 Miro Hrončok 2020-06-30 16:31:29 UTC

Sphinx was updated to 3.1.1.

Comment 4 Jerry James 2020-06-30 17:37:47 UTC

Upstream has committed a fix, which will be available in the next release.  Closing this bug.