The package rpms/flocq.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/flocq.git/commit/?id=5a21ae7e33e4....
Change:
+ExcludeArch: s390x
Thanks.
Full change:
============
commit 5a21ae7e33e4247964db9001f09f4b5314c53e9e
Author: Jerry James <loganjerry(a)gmail.com>
Date: Fri Sep 25 11:35:20 2020 -0600
Flocq is installed in an archful directory, so cannot be noarch.
- ExcludeArch s390x due to bz 1874879.
diff --git a/flocq.spec b/flocq.spec
index 9250d16..a73a62a 100644
--- a/flocq.spec
+++ b/flocq.spec
@@ -1,26 +1,19 @@
-# On platforms with a native OCaml compiler, proofs can be compiled into cmxs
-# files, but there are no source files that rpm recognizes as such.
-%ifarch %{ocaml_native_compiler}
-%global _debugsource_template %{nil}
-%else
+# This package is installed into an archful location, but contains no ELF
+# objects.
%global debug_package %{nil}
-%endif
%global flocqdir %{_libdir}/ocaml/coq/user-contrib/Flocq
%global coqver 8.12.0
Name: flocq
Version: 3.3.1
-Release: 6%{?dist}.1
+Release: 7%{?dist}
Summary: Formalization of floating point numbers for Coq
License: LGPLv3+
URL:
http://flocq.gforge.inria.fr/
Source0:
https://gforge.inria.fr/frs/download.php/file/38329/%{name}-%{version}.ta...
-#
https://bugzilla.redhat.com/show_bug.cgi?id=1874879
-ExcludeArch: s390x
-
BuildRequires: gcc-c++
BuildRequires: remake
BuildRequires: coq = %{coqver}
@@ -28,6 +21,9 @@ BuildRequires: ocaml
BuildRequires: ocaml-findlib
Requires: coq%{?_isa} = %{coqver}
+#
https://bugzilla.redhat.com/show_bug.cgi?id=1874879
+ExcludeArch: s390x
+
%description
Flocq (Floats for Coq) is a floating-point formalization for the Coq
system. It provides a comprehensive library of theorems on a
@@ -46,14 +42,6 @@ purposes.
%prep
%autosetup -p1
-# Force native compilation when available
-# XXX Unfortunately this does not work at the moment:
-# Error: Unbound module NCoq_Numbers_BinNums
-# Error: Native compiler exited with status 2
-#ifarch %%{ocaml_native_compiler}
-#sed -i 's/@COQC@.* -R src Flocq/& -native-compiler yes/' Remakefile.in
-#endif
-
%build
# We do NOT want to specify --libdir, and we don't need CFLAGS, etc.
./configure
@@ -94,6 +82,10 @@ cp -p opam $RPM_BUILD_ROOT%{flocqdir}
%{flocqdir}/Prop/*.v
%changelog
+* Fri Sep 25 2020 Jerry James <loganjerry(a)gmail.com> - 3.3.1-7
+- Flocq is installed in an archful directory, so cannot be noarch
+- ExcludeArch s390x due to bz 1874879
+
* Wed Sep 02 2020 Richard W.M. Jones <rjones(a)redhat.com> - 3.3.1-6.1
- Bump release and rebuild.
- Disable noarch, but don't enable native builds.