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=8ca4eb34024c5f29....
Change: +%ifnarch %{arm} %{ix86}
Thanks.
Full change: ============
commit 8ca4eb34024c5f29066d99b068a1edb68c1094a9 Author: Jerry James loganjerry@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@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@fedoraproject.org - 1.7-15 - Second attempt - Rebuilt for
arch-excludes@lists.fedoraproject.org