The package rpms/gappalib-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/gappalib-coq.git/commit/?id=fec6f....
Change:
-%ifarch %{ocaml_native_compiler}
Thanks.
Full change:
============
commit fec6f88a8741d6c53f130e01aa4f73712751a571
Author: Jerry James <loganjerry(a)gmail.com>
Date: Tue Sep 1 14:31:19 2020 -0600
Rebuild for coq 8.12.0.
Set BuildArch to noarch for the source subpackage.
diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index ecd4821..fc2a9d5 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -1,8 +1,4 @@
-# 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
+%ifnarch %{ocaml_native_compiler}
%global debug_package %{nil}
%endif
@@ -10,8 +6,8 @@
# Hence, we cannot run it on the koji builders. The maintainer should always
# install the package and run "remake check" manually before committing.
-%global gappadir %{_libdir}/coq/user-contrib/Gappa
-%global coqver 8.11.2
+%global gappadir %{_libdir}/ocaml/coq/user-contrib/Gappa
+%global coqver 8.12.0
Name: gappalib-coq
Version: 1.4.4
@@ -47,6 +43,7 @@ dealing with floating-point or fixed-point arithmetic.
%package source
Summary: Source Coq files
+BuildArch: noarch
Requires: %{name}%{?_isa} = %{version}-%{release}
%description source
@@ -58,16 +55,11 @@ informational purposes.
%autosetup -p1
# Enable debuginfo
-sed -i 's/-pp/-g &/' Remakefile.in
+sed -i 's/-rectypes/-g &/' Remakefile.in
# Workaround broken ocamlopt version detection with beta ocaml versions
sed -i 's/^\(ocamlopt_version=`.*\)\(`\)/\1 | cut -d+ -f1\2/' configure
-# Force native compilation when available
-%ifarch %{ocaml_native_compiler}
-sed -i 's/@COQC@ -R src Gappa/& -native-compiler yes/' Remakefile.in
-%endif
-
%build
# The %%configure macro specifies --libdir, which this configure script
# unfortunately uses to identify where the Coq files should go. We want
@@ -84,7 +76,6 @@ remake -d %{?_smp_mflags}
sed -i '/^install:/,/^EXTRA_DIST/s, /usr, %{buildroot}%{_prefix},' Remakefile
mkdir -p %{buildroot}%{gappadir}
remake install
-cp -a src/.coq-native %{buildroot}%{gappadir}
# Also install the source files
cp -p src/*.v %{buildroot}%{gappadir}
@@ -102,6 +93,10 @@ remake check
%{gappadir}/*.v
%changelog
+* Tue Sep 1 2020 Jerry James <loganjerry(a)gmail.com> - 1.4.4-4
+- Rebuild for coq 8.12.0
+- Set BuildArch to noarch for the source subpackage
+
* Mon Aug 24 2020 Richard W.M. Jones <rjones(a)redhat.com> - 1.4.4-4
- OCaml 4.11.0 rebuild