The package rpms/why3.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/why3.git/commit/?id=35c8f0045f311...
https://src.fedoraproject.org/cgit/rpms/why3.git/commit/?id=78b813a96f621....
Change:
+ExcludeArch: s390x
-%ifarch %{ocaml_native_compiler}
Thanks.
Full change:
============
commit 98a499fb9cf133cc6db170dc27b3c7cff318c5ec
Author: Richard W.M. Jones <rjones(a)redhat.com>
Date: Thu Sep 3 10:45:44 2020 +0100
Bump release and rebuild.
diff --git a/why3.spec b/why3.spec
index 647003e..180d4db 100644
--- a/why3.spec
+++ b/why3.spec
@@ -9,7 +9,7 @@
Name: why3
Version: 1.3.1
-Release: 14%{?dist}
+Release: 14%{?dist}.1
Summary: Software verification platform
# See LICENSE for the terms of the exception
@@ -326,6 +326,9 @@ chmod 0755 %{buildroot}%{_bindir}/* \
%files all
%changelog
+* Thu Sep 03 2020 Richard W.M. Jones <rjones(a)redhat.com> - 1.3.1-14.1
+- Bump release and rebuild.
+
* Wed Sep 02 2020 Richard W.M. Jones <rjones(a)redhat.com> - 1.3.1-14
- OCaml 4.11.1 rebuild
commit cb21b2babf84c097c21f704d796f39005d60a81e
Author: Richard W.M. Jones <rjones(a)redhat.com>
Date: Wed Sep 2 16:50:48 2020 +0100
OCaml 4.11.1 rebuild
diff --git a/why3.spec b/why3.spec
index 09e9c90..647003e 100644
--- a/why3.spec
+++ b/why3.spec
@@ -9,7 +9,7 @@
Name: why3
Version: 1.3.1
-Release: 13%{?dist}
+Release: 14%{?dist}
Summary: Software verification platform
# See LICENSE for the terms of the exception
@@ -326,6 +326,9 @@ chmod 0755 %{buildroot}%{_bindir}/* \
%files all
%changelog
+* Wed Sep 02 2020 Richard W.M. Jones <rjones(a)redhat.com> - 1.3.1-14
+- OCaml 4.11.1 rebuild
+
* Tue Sep 1 2020 Jerry James <loganjerry(a)gmail.com> - 1.3.1-13
- Rebuild for coq 8.12.0
commit 35c8f0045f31120ed3aacfe3b143c7d4e1e7a44f
Author: Richard W.M. Jones <rjones(a)redhat.com>
Date: Wed Sep 2 14:48:05 2020 +0100
ExcludeArch s390x (see RHBZ#1874879).
diff --git a/why3.spec b/why3.spec
index b6bfda4..09e9c90 100644
--- a/why3.spec
+++ b/why3.spec
@@ -24,6 +24,9 @@ Source2: %{name}.desktop
# AppData file written by Jerry James
Source3: %{name}.appdata.xml
+#
https://bugzilla.redhat.com/show_bug.cgi?id=1874879
+ExcludeArch: s390x
+
BuildRequires: coq
BuildRequires: emacs-proofgeneral
BuildRequires: flocq
commit 78b813a96f621ee6a27494a885f716a2dd19625e
Author: Jerry James <loganjerry(a)gmail.com>
Date: Tue Sep 1 14:32:30 2020 -0600
Rebuild for coq 8.12.0.
diff --git a/why3.spec b/why3.spec
index 756dfb0..b6bfda4 100644
--- a/why3.spec
+++ b/why3.spec
@@ -160,14 +160,10 @@ fixtimestamp() {
}
# Use the correct compiler flags, keep timestamps, and harden the build due to
-# network use. Force native compilation when available.
-# Link the binaries with runtime compiled with -fPIC.
+# network use. Link the binaries with runtime compiled with -fPIC.
# This avoids many link-time errors.
sed -e "s|-Wall|$RPM_OPT_FLAGS|;s/ -O -g//" \
-e "s/cp /cp -p /" \
-%ifarch %{ocaml_native_compiler}
- -e 's/\$(COQC)/& -native-compiler yes/' \
-%endif
-e "s|^OLINKFLAGS =.*|& -runtime-variant _pic -ccopt
\"$RPM_LD_FLAGS\"|" \
-i Makefile.in
@@ -327,10 +323,13 @@ chmod 0755 %{buildroot}%{_bindir}/* \
%files all
%changelog
+* Tue Sep 1 2020 Jerry James <loganjerry(a)gmail.com> - 1.3.1-13
+- Rebuild for coq 8.12.0
+
* Mon Aug 24 2020 Richard W.M. Jones <rjones(a)redhat.com> - 1.3.1-13
- OCaml 4.11.0 rebuild
-* Thu Aug 6 2020 Jerry James <loganjerry(a)gmail.com> - 1.3.1-13
+* Thu Aug 6 2020 Jerry James <loganjerry(a)gmail.com> - 1.3.1-12
- Rebuild for ocaml-lablgtk3 3.1.1 and ocaml-menhir 20200624
* Wed Jul 29 2020 Fedora Release Engineering <releng(a)fedoraproject.org> - 1.3.1-11
commit acfebc1a4533b6b5aa3eb40bd09145ebd19e8d06
Author: Richard W.M. Jones <rjones(a)redhat.com>
Date: Mon Aug 24 16:52:27 2020 +0100
+BR graphviz
Previous build failed with:
ccomps -X smt-libv2.gen doc/generated/drivers-all.dot >
doc/generated/drivers-smt.dot
/bin/sh: ccomps: command not found
diff --git a/why3.spec b/why3.spec
index 71ec658..756dfb0 100644
--- a/why3.spec
+++ b/why3.spec
@@ -51,6 +51,7 @@ BuildRequires: tex(upquote.sty)
BuildRequires: tex(wrapfig.sty)
BuildRequires: tex-urlbst
BuildRequires: emacs xemacs xemacs-packages-extra
+BuildRequires: graphviz
Requires: gtksourceview3%{?_isa}
Requires: hicolor-icon-theme
commit 369eac4f4ee3d01f8c36cac6ef32f287aa388793
Author: Richard W.M. Jones <rjones(a)redhat.com>
Date: Mon Aug 24 16:32:42 2020 +0100
OCaml 4.11.0 rebuild
diff --git a/why3.spec b/why3.spec
index 3fe222c..71ec658 100644
--- a/why3.spec
+++ b/why3.spec
@@ -9,7 +9,7 @@
Name: why3
Version: 1.3.1
-Release: 12%{?dist}
+Release: 13%{?dist}
Summary: Software verification platform
# See LICENSE for the terms of the exception
@@ -326,6 +326,9 @@ chmod 0755 %{buildroot}%{_bindir}/* \
%files all
%changelog
+* Mon Aug 24 2020 Richard W.M. Jones <rjones(a)redhat.com> - 1.3.1-13
+- OCaml 4.11.0 rebuild
+
* Thu Aug 6 2020 Jerry James <loganjerry(a)gmail.com> - 1.3.1-13
- Rebuild for ocaml-lablgtk3 3.1.1 and ocaml-menhir 20200624