Bug 2133760
| Summary: | cvc4: FTBFS: error: undefined replacement ${getConst_instantiations} | ||
|---|---|---|---|
| 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-13.fc37 | Doc Type: | If docs needed, set a value |
| Doc Text: | Story Points: | --- | |
| Clone Of: | Environment: | ||
| Last Closed: | 2022-11-10 22:15:52 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: | 2117176 | ||
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. |
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