The package rpms/coq.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/coq.git/commit/?id=e3c52c3c16ff51....
Change:
+%ifarch s390x
Thanks.
Full change:
============
commit e3c52c3c16ff51f92ae664bc2db72fc8fd056fe5
Author: Richard W.M. Jones <rjones(a)redhat.com>
Date: Wed Sep 2 13:33:41 2020 +0100
Skip the test suite on s390x.
diff --git a/coq.spec b/coq.spec
index 096cf06..c25d939 100644
--- a/coq.spec
+++ b/coq.spec
@@ -12,7 +12,7 @@
Name: coq
Version: 8.12.0
-Release: 2%{?dist}
+Release: 3%{?dist}
Summary: Proof management system
License: LGPLv2
@@ -191,6 +191,14 @@ cd doc/tools/coqrst/notations
antlr4 -Dlanguage=Python3 -visitor -no-listener TacticNotations.g
cd -
+# Skip the test suite on s390x (only). This is a hack while
+# we work out why this fails since 8.12.0.
+%ifarch s390x
+touch test-suite/summary.log
+rm test-suite/dune
+touch test-suite/dune
+%endif
+
export SPHINXWARNOPT="-w$PWD/sphinx-warn.log"
dune build %{?_smp_mflags}
@@ -354,8 +362,9 @@ ln -s ../../coq/coq_style.xml
%{buildroot}%{_datadir}/gtksourceview-3.0/styles
%license doc/LICENSE
%changelog
-* Wed Sep 02 2020 Richard W.M. Jones <rjones(a)redhat.com> - 8.12.0-2
+* Wed Sep 02 2020 Richard W.M. Jones <rjones(a)redhat.com> - 8.12.0-3
- OCaml 4.11.1 rebuild
+- Skip the test suite on s390x.
* Mon Aug 31 2020 Jerry James <loganjerry(a)gmail.com> - 8.12.0-1
- Version 8.12.0