From: Jan Rękorajski <baggins@pld-linux.org>
Date: Mon, 29 Mar 2021 19:25:08 +0000 (+0200)
Subject: - follow ocaml-zarith builds
X-Git-Tag: auto/th/why3-1.4.0-1
X-Git-Url: http://git.pld-linux.org/?p=packages%2Fwhy3.git;a=commitdiff_plain;h=21bfd7e

- follow ocaml-zarith builds
---

diff --git a/why3.spec b/why3.spec
index e2d5a9d..a2db4b3 100644
--- a/why3.spec
+++ b/why3.spec
@@ -21,6 +21,8 @@ BuildRequires:	ocaml-zarith-devel
 BuildRequires:	rubber
 BuildRequires:	sqlite3-devel
 %requires_eq	ocaml-runtime
+# same as ocaml-zarith
+ExclusiveArch:	%{ix86} %{x8664} %{arm} aarch64 ppc sparc sparcv9
 BuildRoot:	%{tmpdir}/%{name}-%{version}-root-%(id -u -n)
 
 %description