Bug 2180496

Summary: ocaml-psmt2-frontend fails to build with Sphinx 6.1.3
Product: [Fedora] Fedora Reporter: Karolina Surma <ksurma>
Component: ocaml-psmt2-frontendAssignee: Jerry James <loganjerry>
Status: CLOSED ERRATA QA Contact: Fedora Extras Quality Assurance <extras-qa>
Severity: unspecified Docs Contact:
Priority: unspecified    
Version: rawhideCC: loganjerry
Target Milestone: ---   
Target Release: ---   
Hardware: Unspecified   
OS: Unspecified   
Whiteboard:
Fixed In Version: ocaml-psmt2-frontend-0.4.0-8.fc39 Doc Type: If docs needed, set a value
Doc Text:
Story Points: ---
Clone Of: Environment:
Last Closed: 2023-03-21 18:35:59 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: 2135122    

Description Karolina Surma 2023-03-21 15:04:31 UTC
ocaml-psmt2-frontend fails to build with Sphinx 6.1.3 in Fedora 39 (currently Rawhide).

The issue detected:
Exception occurred:
  File "/builddir/build/BUILD/psmt2-frontend-0.4.0/sphinx/conf.py", line 222, in setup
    app.add_stylesheet('css/fixes.css')
    ^^^^^^^^^^^^^^^^^^
AttributeError: 'Sphinx' object has no attribute 'add_stylesheet'


For the logs from testing build attempts, see:
https://copr.fedorainfracloud.org/coprs/ksurma/sphinx-6.1.3/package/ocaml-psmt2-frontend/

You can test you package in mock running:

$ mock -r fedora-rawhide-x86_64 --addrepo=https://download.copr.fedorainfracloud.org/results/ksurma/sphinx-6.1.3/fedora-rawhide-x86_64/ --no-clean your.src.rpm
$ mock -r fedora-rawhide-x86_64 --addrepo=https://download.copr.fedorainfracloud.org/results/ksurma/sphinx-6.1.3/fedora-rawhide-x86_64/ shell

Sphinx 6.1.3 will be included in Fedora 39.
Let us know here if you have any questions. Thank you!

Comment 1 Fedora Update System 2023-03-21 18:34:32 UTC
FEDORA-2023-0f1be627d0 has been submitted as an update to Fedora 39. https://bodhi.fedoraproject.org/updates/FEDORA-2023-0f1be627d0

Comment 2 Fedora Update System 2023-03-21 18:35:59 UTC
FEDORA-2023-0f1be627d0 has been pushed to the Fedora 39 stable repository.
If problem still persists, please make note of it in this bug report.