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 1746839 - coq fails to build with Python 3.8 on Fedora 32+
Summary: coq fails to build with Python 3.8 on Fedora 32+
Keywords:
Status: CLOSED NEXTRELEASE
Alias: None
Product: Fedora
Classification: Fedora
Component: coq
Version: rawhide
Hardware: Unspecified
OS: Unspecified
unspecified
high
Target Milestone: ---
Assignee: Alan Dunn
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks: PYTHON38
TreeView+ depends on / blocked
 
Reported: 2019-08-29 11:31 UTC by Miro Hrončok
Modified: 2019-08-30 03:16 UTC (History)
2 users (show)

Fixed In Version:
Doc Type: If docs needed, set a value
Doc Text:
Clone Of:
Environment:
Last Closed: 2019-08-30 03:16:37 UTC
Type: Bug
Embargoed:

Attachments (Terms of Use)

Description Miro Hrončok 2019-08-29 11:31:17 UTC 
coq fails to build with Python 3.8.0b3 in Fedora 32.

See the build failures at https://koji.fedoraproject.org/koji/search?match=glob&type=package&terms=coq

+ ./configure -prefix /usr -libdir /usr/lib64/coq -bindir /usr/bin -mandir /usr/share/man -docdir /usr/share/doc/coq -configdir /etc/xdg/coq -lablgtkdir /usr/lib64/ocaml/lablgtk2 -coqdocdir /usr/share/texlive/texmf-local/tex/latex -camlp5dir /usr/lib64/ocaml/camlp5 -native-compiler yes -natdynlink yes -coqide opt -browser 'xdg-open %s' -with-doc yes
You have OCaml 4.08.1. Good!
You have OCamlfind 1.8.1. Good!
You have Camlp5 7.08-exp. Good!
You have native-code compilation. Good!
You have the Num library installed. Good!
BUILDSTDERR: Incomplete LablGtk2 (manually provided): no /usr/lib64/ocaml/lablgtk2/gSourceView2.cmi.
BUILDSTDERR: Configuration script failed!
BUILDSTDERR: error: Bad exit status from /var/tmp/rpm-tmp.51urzN (%build)
BUILDSTDERR:     Bad exit status from /var/tmp/rpm-tmp.51urzN (%build)


It is not important whether the problem is relevant to Python 3.8, this issue is blocking the Python 3.8 rebuilds.
If this package won't build with 3.8, it won't be installable, along with all its dependent packages, in Fedora 32 and further.

Furthermore, as it fails to install, its dependent packages will fail to install and/or build as well.

Please rebuild the package in Fedora 32 (rawhide).

Let us know here if you have any questions. Thank You!
Comment 1 Jerry James 2019-08-30 03:16:37 UTC 
gtksourceview2 has been revived, and coq has been built for Rawhide.
Note You need to log in before you can comment on or make changes to this bug.