Bug 1746839

Summary:	coq fails to build with Python 3.8 on Fedora 32+
Product:	[Fedora] Fedora	Reporter:	Miro Hrončok <mhroncok>
Component:	coq	Assignee:	Alan Dunn <amdunn>
Status:	CLOSED NEXTRELEASE	QA Contact:	Fedora Extras Quality Assurance <extras-qa>
Severity:	high	Docs Contact:
Priority:	unspecified
Version:	rawhide	CC:	amdunn, loganjerry
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:	2019-08-30 03:16:37 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:	1686977

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.