The package rpms/alt-ergo.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/alt-ergo.git/commit/?id=23076e58d....
Change:
+%ifnarch %{ocaml_native_compiler}
Thanks.
Full change:
============
commit 23076e58d83d7afbd1be1ede01dd493184479d4f
Author: Jerry James <loganjerry(a)gmail.com>
Date: Fri Sep 6 09:11:18 2019 -0600
Rebuild for ocaml-zarith 1.9.
diff --git a/alt-ergo.spec b/alt-ergo.spec
index 57c7be7..cca9c21 100644
--- a/alt-ergo.spec
+++ b/alt-ergo.spec
@@ -2,14 +2,13 @@
#
https://www.redhat.com/archives/fedora-packaging/2008-August/msg00017.html
# and ocaml-ocamlgraph spec file for a discussion of this issue.
-%global opt %(test -x %{_bindir}/ocamlopt && echo 1 || echo 0)
-%if !%{opt}
+%ifnarch %{ocaml_native_compiler}
%global debug_package %{nil}
%endif
Name: alt-ergo
Version: 2.0.0
-Release: 4%{?dist}
+Release: 5%{?dist}
Summary: Automated theorem prover including linear arithmetic
License: ASL 2.0
@@ -51,9 +50,6 @@ Requires: %{name}%{?_isa} = %{version}-%{release}
Requires: gtksourceview2
Requires: hicolor-icon-theme
-Requires(post): coreutils
-Requires(postun): coreutils
-
%description gui
A graphical front end for the alt-ergo theorem prover.
@@ -80,7 +76,7 @@ sed -i "s|^OFLAGS =|& -fno-thumb|" Makefile.users
%build
%configure
-%if ! %{opt}
+%ifnarch %{ocaml_native_compiler}
%global opt_option OCAMLBEST=byte OCAMLC=ocamlc OCAMLLEX=ocamllex
%else
%global opt_option OCAMLBEST=opt OCAMLOPT=ocamlopt.opt
@@ -142,6 +138,9 @@ done
%{_datadir}/icons/hicolor/*/apps/%{name}.png
%changelog
+* Fri Sep 6 2019 Jerry James <loganjerry(a)gmail.com> - 2.0.0-5
+- Rebuild for ocaml-zarith 1.9
+
* Fri Aug 16 2019 Richard W.M. Jones <rjones(a)redhat.com> - 2.0.0-4
- OCaml 4.08.1 (final) rebuild.