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=a4c56...
https://src.fedoraproject.org/cgit/rpms/gappalib-coq.git/commit/?id=fec6f....
Change:
+ExcludeArch: s390x
-%ifarch %{ocaml_native_compiler}
Thanks.
Full change:
============
commit 3a83d29badc57d4a214cdfe9b6f1177948005346
Author: Richard W.M. Jones <rjones(a)redhat.com>
Date: Thu Sep 3 10:45:35 2020 +0100
Bump release and rebuild.
diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index 4aac251..786115d 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -11,7 +11,7 @@
Name: gappalib-coq
Version: 1.4.4
-Release: 5%{?dist}
+Release: 5%{?dist}.1
Summary: Coq support library for gappa
License: LGPLv2+
@@ -96,6 +96,9 @@ remake check
%{gappadir}/*.v
%changelog
+* Thu Sep 03 2020 Richard W.M. Jones <rjones(a)redhat.com> - 1.4.4-5.1
+- Bump release and rebuild.
+
* Wed Sep 02 2020 Richard W.M. Jones <rjones(a)redhat.com> - 1.4.4-5
- OCaml 4.11.1 rebuild
commit 1a888935a5f851ca946b1b8fb0d00c0bc7fc9847
Author: Richard W.M. Jones <rjones(a)redhat.com>
Date: Wed Sep 2 16:50:39 2020 +0100
OCaml 4.11.1 rebuild
diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index 051beff..4aac251 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -11,7 +11,7 @@
Name: gappalib-coq
Version: 1.4.4
-Release: 4%{?dist}
+Release: 5%{?dist}
Summary: Coq support library for gappa
License: LGPLv2+
@@ -96,6 +96,9 @@ remake check
%{gappadir}/*.v
%changelog
+* Wed Sep 02 2020 Richard W.M. Jones <rjones(a)redhat.com> - 1.4.4-5
+- OCaml 4.11.1 rebuild
+
* 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
commit a4c5624528a41332677371e56b82f65c8207cbac
Author: Richard W.M. Jones <rjones(a)redhat.com>
Date: Wed Sep 2 14:47:52 2020 +0100
ExcludeArch s390x (see RHBZ#1874879).
diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index fc2a9d5..051beff 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -18,6 +18,9 @@ License: LGPLv2+
URL:
http://gappa.gforge.inria.fr/
Source0:
https://gforge.inria.fr/frs/download.php/file/38338/%{name}-%{version}.ta...
+#
https://bugzilla.redhat.com/show_bug.cgi?id=1874879
+ExcludeArch: s390x
+
BuildRequires: gcc-c++
BuildRequires: coq = %{coqver}
BuildRequires: flocq
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
commit deaa814d78731d1e50b8fa6717583809cd3f07af
Author: Richard W.M. Jones <rjones(a)redhat.com>
Date: Mon Aug 24 16:32:34 2020 +0100
OCaml 4.11.0 rebuild
diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index 9ae3c52..ecd4821 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -15,7 +15,7 @@
Name: gappalib-coq
Version: 1.4.4
-Release: 3%{?dist}
+Release: 4%{?dist}
Summary: Coq support library for gappa
License: LGPLv2+
@@ -102,6 +102,9 @@ remake check
%{gappadir}/*.v
%changelog
+* Mon Aug 24 2020 Richard W.M. Jones <rjones(a)redhat.com> - 1.4.4-4
+- OCaml 4.11.0 rebuild
+
* Thu Aug 6 2020 Jerry James <loganjerry(a)gmail.com> - 1.4.4-3
- Rebuild to fix OCaml dependencies