Description of problem: Package cvc4 fails to build from source in Fedora Rawhide. /builddir/build/BUILD/CVC4-1.8/src/expr/expr_template.h:0: error: undefined replacement ${getConst_instantiations} gmake[2]: *** [src/expr/CMakeFiles/gen-expr.dir/build.make:117: src/expr/expr.h] Error 1 gmake[2]: *** Deleting file 'src/expr/expr.h' gmake[2]: *** Waiting for unfinished jobs.... /builddir/build/BUILD/CVC4-1.8/src/expr/metakind_template.h:0: error: undefined replacement ${metakind_getConst_decls} gmake[2]: *** [src/expr/CMakeFiles/gen-expr.dir/build.make:223: src/expr/metakind.h] Error 1 gmake[2]: *** Deleting file 'src/expr/metakind.h' gmake[2]: Leaving directory '/builddir/build/BUILD/CVC4-1.8/redhat-linux-build' gmake[1]: *** [CMakeFiles/Makefile2:493: src/expr/CMakeFiles/gen-expr.dir/all] Error 2 gmake[1]: Leaving directory '/builddir/build/BUILD/CVC4-1.8/redhat-linux-build' gmake: *** [Makefile:149: all] Error 2 error: Bad exit status from /var/tmp/rpm-tmp.PUmY1S (%build) Bad exit status from /var/tmp/rpm-tmp.PUmY1S (%build) Steps to Reproduce: koji build --scratch f38 cvc4-1.8-12.fc37.src.rpm Additional info: This package is tracked by Koschei. See: https://koschei.fedoraproject.org/package/cvc4 Dependency changes from the last build: https://koschei.fedoraproject.org/build/13803127
FEDORA-2022-dc47174c36 has been submitted as an update to Fedora 37. https://bodhi.fedoraproject.org/updates/FEDORA-2022-dc47174c36
FEDORA-2022-dc47174c36 has been pushed to the Fedora 37 testing repository. Soon you'll be able to install the update with the following command: `sudo dnf upgrade --enablerepo=updates-testing --refresh --advisory=FEDORA-2022-dc47174c36` You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2022-dc47174c36 See also https://fedoraproject.org/wiki/QA:Updates_Testing for more information on how to test updates.
FEDORA-2022-dc47174c36 has been pushed to the Fedora 37 stable repository. If problem still persists, please make note of it in this bug report.