From 7ce32a5a195a9b50798a5fb4396a2a3ee5a68c3b Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Sun, 23 Jul 2023 08:41:01 -0600
Subject: [PATCH] Do not build or install the i386 OCaml interface

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

diff --git a/z3.spec b/z3.spec
index 9be6587..12e97a6 100644
--- a/z3.spec
+++ b/z3.spec
@@ -200,6 +200,7 @@ export PYTHON=%{python3}
 
 %cmake_build
 
+%ifnarch %{ix86}
 # The cmake build system does not build the OCaml interface.  Do that manually.
 #
 # First, run the configure script to generate several files.
@@ -216,6 +217,7 @@ sed -i '/^api/s/ libz3\$(SO_EXT)//g' build/Makefile
 
 # Fourth, build the OCaml interface
 %make_build -C build ml
+%endif
 
 %install
 export LANG="C.UTF-8"
@@ -232,6 +234,7 @@ ln -s %{_jnidir}/com.microsoft.z3.jar %{buildroot}%{_libdir}/z3
 mv %{buildroot}%{_libdir}/libz3java.so %{buildroot}%{_libdir}/z3
 %endif
 
+%ifnarch %{ix86}
 # Install the OCaml interface
 cd build/api/ml
 mkdir -p %{buildroot}%{ocamldir}/Z3
@@ -242,6 +245,7 @@ cp -p META *.{a,cma,cmi,mli} %{buildroot}%{ocamldir}/Z3
 mkdir -p %{buildroot}%{ocamldir}/stublibs
 cp -p *.so %{buildroot}%{ocamldir}/stublibs
 cd -
+%endif
 
 # We handle the documentation files below
 rm -rf %{buildroot}%{_docdir}/Z3