Created attachment 929685 [details] patch to retrieve arch cbmc failed to build from source in mass rebuild on ppc64 and ppc64le arches http://ppc.koji.fedoraproject.org/koji/packageinfo?packageID=16417 http://ppc.koji.fedoraproject.org/kojifiles/work/tasks/3751/2003751/build.log architecture seems not correctly retrieved. Using attached patch, arch is retreived but lot of tests are still in error.
Created attachment 929686 [details] log with cbmc patched to retrieve arch ppc64 little endian log with cbmc patched, arch powerpc 64 little endian retrieved. I didn't have a look to tests in error yet.
Thanks for the report and the patch. I will try to figure out why tests still fail with it.
After some back and forth with upstream, we've got a build that passes all of its tests on both ppc64 and ppc64le. I have built it for Rawhide and F-21, and upstream has applied the resulting patch, so it will be part of the next release.
cbmc-4.7-3.fc21 has been submitted as an update for Fedora 21. https://admin.fedoraproject.org/updates/cbmc-4.7-3.fc21
Package cbmc-4.7-3.fc21: * should fix your issue, * was pushed to the Fedora 21 testing repository, * should be available at your local mirror within two days. Update it with: # su -c 'yum update --enablerepo=updates-testing cbmc-4.7-3.fc21' as soon as you are able to. Please go to the following url: https://admin.fedoraproject.org/updates/FEDORA-2014-10235/cbmc-4.7-3.fc21 then log in and leave karma (feedback).
cbmc-4.7-3 scratch builds succeed on: primary http://koji.fedoraproject.org/koji/taskinfo?taskID=7543253 secondary http://ppc.koji.fedoraproject.org/koji/taskinfo?taskID=2094327
Package cbmc-4.9-1.fc21: * should fix your issue, * was pushed to the Fedora 21 testing repository, * should be available at your local mirror within two days. Update it with: # su -c 'yum update --enablerepo=updates-testing cbmc-4.9-1.fc21' as soon as you are able to. Please go to the following url: https://admin.fedoraproject.org/updates/FEDORA-2014-10235/cbmc-4.9-1.fc21 then log in and leave karma (feedback).
cbmc-4.9-1.fc21 has been pushed to the Fedora 21 stable repository. If problems still persist, please make note of it in this bug report.
Although it is not breaking the build on fedora/ppc64le, there are some tests fails that I am facing, as in the test: character_literals1 that has the following line: STATIC_ASSERT('\xff' == (char)0xff); and in this case ,it is causing the following error: STATIC_ASSERT('\xff' == (char)0xff) and the second argument is returning -1, which seems that char is not considered as unsgined.
Breno, I did see that error when starting work on the problem, but the patch made it go away for me. And not just for me, either; there is no sign of that error in the ppc64le build of cbmc-4.9-1.fc21: http://ppc.koji.fedoraproject.org/koji/buildinfo?buildID=266344 Which version did you build, on what platform, to get this error? If it is a koji build, can you post a link to the logs? Thanks.
Hi Jerry, The problem appeared with the patch from Menanteau. I don't see any problem with the patch applied on Fedora packages, which is a bit different. Thank you, Breno