Bootstrap build without coq support.

2020-08-06 08:58:57 -06:00 · 2020-08-06 08:58:57 -06:00 · e635816345
parent a7e9e74f04
commit e635816345
1 changed files with 1 additions and 1 deletions
--- 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:        20200624