From d274564657f1bbe937233ab4fc2b866a0b197f3f Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Thu, 2 Apr 2020 14:12:07 +0100
Subject: [PATCH] Disable coq (circular dep) while rebuilding all OCaml.

---
 ocaml-menhir.spec | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ocaml-menhir.spec b/ocaml-menhir.spec
index e3042de..8314338 100644
--- a/ocaml-menhir.spec
+++ b/ocaml-menhir.spec
@@ -2,7 +2,7 @@
 %global debug_package %{nil}
 %endif
 
-%bcond_without coq
+%bcond_with coq
 
 Name:           ocaml-menhir
 Version:        20200211