The package rpms/cbmc.git has added or updated architecture specific content in its
spec file (ExclusiveArch/ExcludeArch or %ifarch/%ifnarch) in commit(s):
https://src.fedoraproject.org/cgit/rpms/cbmc.git/commit/?id=fda3f1e253657....
Change:
+%ifarch x86_64
Thanks.
Full change:
============
commit fda3f1e25365729f30c637a5a42e30e322c23881
Author: Jerry James <loganjerry(a)gmail.com>
Date: Tue Feb 20 21:04:32 2018 -0700
Only run tests on x86_64, due to assumptions baked into the tests.
diff --git a/cbmc.spec b/cbmc.spec
index 731a0bb..24a6416 100644
--- a/cbmc.spec
+++ b/cbmc.spec
@@ -50,20 +50,11 @@ Documentation for %{name}.
%patch3
# Use the right build flags
-sed -e "s|@RPM_OPT_FLAGS@|$RPM_OPT_FLAGS|" \
+# FIXME: Why does _GLIBCXX_ASSERTIONS lead to test failures?
+sed -e "s|@RPM_OPT_FLAGS@|$RPM_OPT_FLAGS -Wp,-U_GLIBCXX_ASSERTIONS|" \
-e "s|@RPM_LD_FLAGS@|-Wl,--as-needed $RPM_LD_FLAGS|" \
-i src/config.inc
-# Fix tests that are broken on big endian machines
-sed -i 's/^$/--little-endian/' regression/cbmc/Pointer_array5/test.desc
-sed -i 's/--bounds/--little-endian &/'
regression/cbmc/Pointer_byte_extract5/test.desc
-sed -i 's/^$/--little-endian/' regression/cbmc/byte_update2/test.desc
-sed -i 's/^$/--little-endian/' regression/cbmc/byte_update3/test.desc
-sed -i 's/^$/--little-endian/' regression/cbmc/byte_update4/test.desc
-sed -i 's/^$/--little-endian/' regression/cbmc/byte_update5/test.desc
-sed -i 's/^$/--little-endian/' regression/cbmc/byte_update6/test.desc
-sed -i 's/^$/--little-endian/' regression/cbmc/byte_update7/test.desc
-
%build
pushd src
make %{?_smp_mflags}
@@ -91,8 +82,12 @@ install -p -m 0644 %{SOURCE1}
%{buildroot}%{_mandir}/man1/goto-instrument.1
# Feed the debuginfo generator
ln -s xml_y.tab.h src/xmllang/xml_y.tab.hpp
+%ifarch x86_64
%check
+# The tests were written with the assumption that they would be executed on
+# an x86_64. Other platforms suffer a large number of spurious test failures.
make -C regression
+%endif
%files
%doc CHANGELOG README.md