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=6e5fdd16e8bebb....
Change:
-%ifarch s390x
Thanks.
Full change:
============
commit 6e5fdd16e8bebb1624c6561fddb52e4858f665eb
Author: Richard W.M. Jones <rjones(a)redhat.com>
Date: Wed Sep 2 14:42:22 2020 +0100
ExcludeArch s390x (RHBZ#1874879).
diff --git a/coq.spec b/coq.spec
index c25d939..f53cd19 100644
--- a/coq.spec
+++ b/coq.spec
@@ -10,6 +10,9 @@
# Coq installs python files into nonstandard places
%global _python_bytecompile_extra 0
+#
https://bugzilla.redhat.com/show_bug.cgi?id=1874879
+ExcludeArch: s390x
+
Name: coq
Version: 8.12.0
Release: 3%{?dist}
@@ -191,14 +194,6 @@ 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}
@@ -364,7 +359,7 @@ ln -s ../../coq/coq_style.xml
%{buildroot}%{_datadir}/gtksourceview-3.0/styles
%changelog
* 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.
+- ExcludeArch s390x (RHBZ#1874879).
* Mon Aug 31 2020 Jerry James <loganjerry(a)gmail.com> - 8.12.0-1
- Version 8.12.0