From 39bb02639bdbc600e4f0b3b49cb7461e728fbbe2 Mon Sep 17 00:00:00 2001 From: Jakub Bogusz Date: Sun, 28 Mar 2021 21:45:42 +0200 Subject: [PATCH] - arm is a macro containing actual arm subarchs --- coq.spec | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.43.0