From: Jakub Bogusz <qboosh@pld-linux.org>
Date: Sun, 28 Mar 2021 19:45:42 +0000 (+0200)
Subject: - arm is a macro containing actual arm subarchs
X-Git-Tag: auto/th/coq-8.13.1-1
X-Git-Url: https://git.pld-linux.org/?p=packages%2Fcoq.git;a=commitdiff_plain;h=39bb02639bdbc600e4f0b3b49cb7461e728fbbe2

- arm is a macro containing actual arm subarchs
---

diff --git a/coq.spec b/coq.spec
index e648023..d42a39f 100644
--- a/coq.spec
+++ b/coq.spec
@@ -3,7 +3,7 @@
 %bcond_without	ocaml_opt	# skip building native optimized binaries (bytecode is always built)
 %bcond_with	tests		# run testsuite (csdp dependant micromega tests fail badly on x86_64)
 #
-%ifnarch %{ix86} %{x8664} arm aarch64 ppc sparc sparcv9
+%ifnarch %{ix86} %{x8664} %{arm} aarch64 ppc sparc sparcv9
 %undefine	with_ocaml_opt
 %endif
 
@@ -45,7 +45,7 @@ BuildRequires:	texlive-xetex
 %requires_eq	ocaml-runtime
 Obsoletes:	coq-emacs < 8.13.1
 # same as ocaml-zarith
-ExclusiveArch:	%{ix86} %{x8664} arm aarch64 ppc sparc sparcv9
+ExclusiveArch:	%{ix86} %{x8664} %{arm} aarch64 ppc sparc sparcv9
 BuildRoot:	%{tmpdir}/%{name}-%{version}-root-%(id -u -n)
 
 %description