Re-enable Coq bindings after OCaml bootstrap.
This commit is contained in:
parent
886e232d94
commit
059fdf00b4
|
@ -2,11 +2,11 @@
|
|||
%global debug_package %{nil}
|
||||
%endif
|
||||
|
||||
%bcond_with coq
|
||||
%bcond_without coq
|
||||
|
||||
Name: ocaml-menhir
|
||||
Version: 20200211
|
||||
Release: 2%{?dist}
|
||||
Release: 3%{?dist}
|
||||
Summary: LR(1) parser generator for OCaml
|
||||
|
||||
# The generator is GPLv2
|
||||
|
@ -162,6 +162,9 @@ find %{buildroot}%{_libdir}/ocaml -name \*.cmxs -exec chmod a+x {} \+
|
|||
%endif
|
||||
|
||||
%changelog
|
||||
* Thu Apr 02 2020 Richard W.M. Jones <rjones@redhat.com> - 20200211-3
|
||||
- Re-enable Coq bindings after OCaml bootstrap.
|
||||
|
||||
* Thu Apr 02 2020 Richard W.M. Jones <rjones@redhat.com> - 20200211-2
|
||||
- Update all OCaml dependencies for RPM 4.16.
|
||||
|
||||
|
|
Loading…
Reference in New Issue