The package rpms/frama-c.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/frama-c.git/commit/?id=8d08bac3f0....
Change:
+ExcludeArch: s390x
Thanks.
Full change:
============
commit 1236797161ec4898085379603131b5bd361f8bc0
Author: Richard W.M. Jones <rjones(a)redhat.com>
Date: Wed Sep 2 17:13:23 2020 +0100
OCaml 4.11.1 rebuild
diff --git a/frama-c.spec b/frama-c.spec
index bbd5fc5..f16d7f4 100644
--- a/frama-c.spec
+++ b/frama-c.spec
@@ -8,7 +8,7 @@
Name: frama-c
Version: 21.1
-Release: 4%{?dist}
+Release: 5%{?dist}
Summary: Framework for source code analysis of C software
%global pkgversion %{version}-Scandium
@@ -274,6 +274,9 @@ ln -s %{_bindir}/flamegraph.pl
%{buildroot}%{_datadir}/frama-c/analysis-scripts
%{_xemacs_sitestartdir}/acsl.el
%changelog
+* Wed Sep 02 2020 Richard W.M. Jones <rjones(a)redhat.com> - 21.1-5
+- OCaml 4.11.1 rebuild
+
* Tue Sep 1 2020 Jerry James <loganjerry(a)gmail.com> - 21.1-4
- Rebuild for coq 8.12.0
commit 8d08bac3f0efab1812fa15898af3f01212174d6b
Author: Richard W.M. Jones <rjones(a)redhat.com>
Date: Wed Sep 2 14:47:37 2020 +0100
ExcludeArch s390x (see RHBZ#1874879).
diff --git a/frama-c.spec b/frama-c.spec
index dea0bf6..bbd5fc5 100644
--- a/frama-c.spec
+++ b/frama-c.spec
@@ -34,6 +34,9 @@ Source14:
http://frama-c.com/download/e-acsl/e-acsl-manual-%{pkgversion}.p
# Icons created with gimp from the official upstream icon
Source15: %{name}-icons.tar.xz
+#
https://bugzilla.redhat.com/show_bug.cgi?id=1874879
+ExcludeArch: s390x
+
BuildRequires: alt-ergo
BuildRequires: coq
BuildRequires: desktop-file-utils