Note: This is a public test instance of Red Hat Bugzilla. The data contained within is a snapshot of the live data so any changes you make will not be reflected in the production Bugzilla. Email is disabled so feel free to test any aspect of the site that you want. File any problems you find or give feedback at bugzilla.redhat.com.
Bug 1823515 - yices fails to build with Sphinx 3.0.0
Summary: yices fails to build with Sphinx 3.0.0
Keywords:
Status: CLOSED NEXTRELEASE
Alias: None
Product: Fedora
Classification: Fedora
Component: yices
Version: rawhide
Hardware: Unspecified
OS: Unspecified
unspecified
unspecified
Target Milestone: ---
Assignee: Jerry James
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks: F33FTBFS SPHINX3
TreeView+ depends on / blocked
 
Reported: 2020-04-13 20:54 UTC by Charalampos Stratakis
Modified: 2020-06-30 17:37 UTC (History)
3 users (show)

Fixed In Version:
Doc Type: If docs needed, set a value
Doc Text:
Clone Of:
Environment:
Last Closed: 2020-06-30 17:37:47 UTC
Type: Bug
Embargoed:

Attachments (Terms of Use)


Links
System ID Private Priority Status Summary Last Updated
Github SRI-CSL yices2 issues 198 0 None closed Sphinx 3 issues 2020-06-30 15:53:03 UTC

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.
Note You need to log in before you can comment on or make changes to this bug.