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.
FEDORA-2022-eb259e52f4 has been submitted as an update to Fedora 37. https://bodhi.fedoraproject.org/updates/FEDORA-2022-eb259e52f4
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.