The package rpms/cvc4.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/cvc4.git/commit/?id=8ca4eb34024c5....
Change:
+%ifnarch %{arm} %{ix86}
Thanks.
Full change:
============
commit 8ca4eb34024c5f29066d99b068a1edb68c1094a9
Author: Jerry James <loganjerry(a)gmail.com>
Date: Mon Aug 3 21:10:15 2020 -0600
Run the testsuite on 64-bit architectures only.
diff --git a/cvc4.spec b/cvc4.spec
index 9e98889..130cb47 100644
--- a/cvc4.spec
+++ b/cvc4.spec
@@ -194,6 +194,9 @@ if [ "%{python3_sitelib}" != "%{python3_sitearch}"
]; then
rm -fr %{buildroot}%{prefix}/lib/python3*
fi
+# The 32-bit builders run out of memory while running the test suite. Only
+# run tests on 64-bit builders
+%ifnarch %{arm} %{ix86}
%check
# The tests use a large amount of stack space.
# Only do this on s390x to workaround bz 1688841.
@@ -208,6 +211,7 @@ sed
's,loadLibrary("cvc4jni"),load("%{buildroot}%{_jnidir}/%{name}/libcvc4jni.so
export LC_ALL=C.UTF-8
export LD_LIBRARY_PATH=%{buildroot}%{_libdir}
%cmake_build --target check
+%endif
%files
%doc AUTHORS NEWS README.md THANKS
@@ -243,6 +247,7 @@ export LD_LIBRARY_PATH=%{buildroot}%{_libdir}
* Mon Aug 3 2020 Jerry James <loganjerry(a)gmail.com> - 1.8-1
- Version 1.8
- Drop upstreamed patches: -abc, -swig4, -drat
+- Run the testsuite on 64-bit architectures only
* Sat Aug 01 2020 Fedora Release Engineering <releng(a)fedoraproject.org> - 1.7-15
- Second attempt - Rebuilt for