From a9a7082547f8f5bb86eaaefb4b202ea8209dd482 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Tue, 11 Jul 2023 11:36:26 +0100
Subject: [PATCH] ExcludeArch i686
 (https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/message/SPML7CUBSZNI36NLXGVHEG7DNHU3EWOJ/)

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

diff --git a/z3.spec b/z3.spec
index 78e4b3e..77421d1 100644
--- a/z3.spec
+++ b/z3.spec
@@ -1,3 +1,6 @@
+# OCaml packages not built on i686 since OCaml 5 / Fedora 39.
+ExcludeArch: %{ix86}
+
 # TODO: A Julia interface is now available, but requires
 # https://github.com/JuliaInterop/libcxxwrap-julia, which is not currently
 # available in Fedora.