The package rpms/yices.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/yices.git/commit/?id=26ecb5e37f7c....
Change:
+%ifnarch %{ix86} %{arm}
Thanks.
Full change:
============
commit 26ecb5e37f7ca9b6f55f7769242761890fb434bd
Author: Jerry James <loganjerry(a)gmail.com>
Date: Thu Mar 26 15:26:59 2020 -0600
Disable tests on 32-bit platforms due to failures from overflowing integers.
diff --git a/yices-big-endian.patch b/yices-big-endian.patch
index 005e664..32c6441 100644
--- a/yices-big-endian.patch
+++ b/yices-big-endian.patch
@@ -61,3 +61,18 @@
} rat32_t;
typedef struct {
+--- a/tests/unit/Makefile
++++ b/tests/unit/Makefile
+@@ -84,6 +84,12 @@ static_tests := $(src_c:%.c=$(static_bin
+ libyices := $(libdir)/libyices.a
+ static_libyices := $(static_libdir)/libyices.a
+
++#
++# Whether we are building for a big endian architecture
++#
++ifeq ($(WORDS_BIGENDIAN),yes)
++ CPPFLAGS += -DWORDS_BIGENDIAN
++endif
+
+ #
+ # Whether we have support for mcsat
diff --git a/yices.spec b/yices.spec
index cec23a4..f9274c4 100644
--- a/yices.spec
+++ b/yices.spec
@@ -123,8 +123,10 @@ rm -f %{buildroot}%{_libdir}/libyices.a
mkdir -p %{buildroot}%{_mandir}/man1
cp -p doc/*.1 %{buildroot}%{_mandir}/man1
+%ifnarch %{ix86} %{arm}
%check
make check MODE=debug
+%endif
%files
%doc doc/SMT-LIB-LANGUAGE doc/YICES-LANGUAGE
@@ -152,6 +154,8 @@ make check MODE=debug
- Drop upstreamed -missing-typedef patch
- Add -big-endian patch to fix s390x build
- Add -cryptominisat5 patch to fix build with recent cryptominisat releases
+- Skip tests on 32-bit platforms; some tests fail due to the limited size of a
+ C integer
* Fri Jan 31 2020 Fedora Release Engineering <releng(a)fedoraproject.org> - 2.6.1-6
- Rebuilt for
https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild