diff --git a/z3.spec b/z3.spec
index 12e97a6..f7522b8 100644
--- a/z3.spec
+++ b/z3.spec
@@ -42,10 +42,12 @@ BuildRequires:  javapackages-tools
 %endif
 BuildRequires:  make
 BuildRequires:  ninja-build
+%ifnarch %{ix86}
 BuildRequires:  ocaml
 BuildRequires:  ocaml-findlib
 BuildRequires:  ocaml-ocamldoc
 BuildRequires:  ocaml-zarith-devel
+%endif
 BuildRequires:  python3-devel
 BuildRequires:  %{py3_dist setuptools}