Bug 2180496 - ocaml-psmt2-frontend fails to build with Sphinx 6.1.3
Summary: ocaml-psmt2-frontend fails to build with Sphinx 6.1.3
Keywords:
Status: CLOSED ERRATA
Alias: None
Product: Fedora
Classification: Fedora
Component: ocaml-psmt2-frontend
Version: rawhide
Hardware: Unspecified
OS: Unspecified
unspecified
unspecified
Target Milestone: ---
Assignee: Jerry James
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks: 2135122
TreeView+ depends on / blocked
 
Reported: 2023-03-21 15:04 UTC by Karolina Surma
Modified: 2023-03-21 18:35 UTC (History)
1 user (show)

Fixed In Version: ocaml-psmt2-frontend-0.4.0-8.fc39
Clone Of:
Environment:
Last Closed: 2023-03-21 18:35:59 UTC
Type: Bug
Embargoed:


Attachments (Terms of Use)

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.


Note You need to log in before you can comment on or make changes to this bug.