Bug 2060821

Summary:	cvc4: FTBFS with cmake 3.23.0 in Fedora Rawhide
Product:	[Fedora] Fedora	Reporter:	Jitka Plesnikova <jplesnik>
Component:	cvc4	Assignee:	Jerry James <loganjerry>
Status:	CLOSED ERRATA	QA Contact:	Fedora Extras Quality Assurance <extras-qa>
Severity:	unspecified	Docs Contact:
Priority:	unspecified
Version:	rawhide	CC:	loganjerry, spacewar
Target Milestone:	---
Target Release:	---
Hardware:	Unspecified
OS:	Unspecified
URL:	https://koschei.fedoraproject.org/package/cvc4
Whiteboard:
Fixed In Version:	cvc4-1.8-10.fc37	Doc Type:	If docs needed, set a value
Doc Text:		Story Points:	---
Clone Of:		Environment:
Last Closed:	2022-03-04 18:49:34 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:	2059201
Bug Blocks:	2045102

Description Jitka Plesnikova 2022-03-04 10:28:27 UTC

Description of problem:
Package cvc4 fails to build from source in Fedora Rawhide.
-- Build files have been written to: /builddir/build/BUILD/CVC4-1.8
+ sed -i 's/swig -python/& -py3/' redhat-linux-build/src/bindings/python/CMakeFiles/CVC4_swig_compilation.dir/build.make
sed: can't read redhat-linux-build/src/bindings/python/CMakeFiles/CVC4_swig_compilation.dir/build.make: No such file or directory
error: Bad exit status from /var/tmp/rpm-tmp.5Fb23m (%build)


Version-Release number of selected component (if applicable):
1.8-9.fc36

Steps to Reproduce:
koji build --scratch f37 cvc4-1.8-9.fc36.src.rpm

Additional info:
This package is tracked by Koschei. See:
https://koschei.fedoraproject.org/package/cvc4


Dependency changes from last successful build:
https://koschei.fedoraproject.org/build/12251767

It is probably related to update cmake to version 3.23.0-0.1.rc2.fc37.

Comment 1 Fedora Update System 2022-03-04 18:46:52 UTC

FEDORA-2022-eb259e52f4 has been submitted as an update to Fedora 37. https://bodhi.fedoraproject.org/updates/FEDORA-2022-eb259e52f4

Comment 2 Fedora Update System 2022-03-04 18:49:34 UTC

FEDORA-2022-eb259e52f4 has been pushed to the Fedora 37 stable repository.
If problem still persists, please make note of it in this bug report.