From e32772559e0caab4937e9df2983816f8d12dab2c Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Sun, 23 Jul 2023 10:03:32 -0600
Subject: [PATCH] Exclude OCaml BRs on i386

---
 z3.spec | 2 ++
 1 file changed, 2 insertions(+)

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}