- follow ocaml-zarith builds

diff --git a/why3.spec b/why3.spec
index e2d5a9dd3ede9e4233c19d32a090f95097dedf6d..a2db4b372ad2ed13cec3fdcc460e5fc9c196d51a 100644 (file)
--- 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