commit 39bb02639bdbc600e4f0b3b49cb7461e728fbbe2
Author: Jakub Bogusz <[email protected]>
Date: Sun Mar 28 21:45:42 2021 +0200
- 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
================================================================
---- gitweb:
http://git.pld-linux.org/gitweb.cgi/packages/coq.git/commitdiff/39bb02639bdbc600e4f0b3b49cb7461e728fbbe2
_______________________________________________
pld-cvs-commit mailing list
[email protected]
http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
