Coq is currently unavailable on s390x.

2020-12-02 16:19:48 -07:00 · 2020-12-02 16:19:48 -07:00 · 5910065a12
parent 0264a9c4a9
commit 5910065a12
1 changed files with 5 additions and 0 deletions
--- 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