From 5910065a121fb3cb9d9849b3fea952264413e8e6 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Wed, 2 Dec 2020 16:19:48 -0700
Subject: [PATCH] Coq is currently unavailable on s390x.

---
 ocaml-menhir.spec | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/ocaml-menhir.spec b/ocaml-menhir.spec
index 63a7b79..c57c393 100644
--- a/ocaml-menhir.spec
+++ b/ocaml-menhir.spec
@@ -2,7 +2,12 @@
 %global debug_package %{nil}
 %endif
 
+# https://bugzilla.redhat.com/show_bug.cgi?id=1874879
+%ifarch s390x
+%bcond_with coq
+%else
 %bcond_without coq
+%endif
 
 Name:           ocaml-menhir
 Version:        20201201