New upstream version.
This commit is contained in:
parent
cba2335b7d
commit
3eedd8a3d8
|
@ -6,8 +6,8 @@
|
|||
%endif
|
||||
|
||||
Name: ocaml-menhir
|
||||
Version: 20171222
|
||||
Release: 2%{?dist}
|
||||
Version: 20180530
|
||||
Release: 1%{?dist}
|
||||
Summary: LR(1) parser generator for OCaml
|
||||
|
||||
# The generator is GPLv2
|
||||
|
@ -15,10 +15,13 @@ License: GPLv2
|
|||
URL: http://gallium.inria.fr/~fpottier/menhir/
|
||||
Source0: http://gallium.inria.fr/~fpottier/menhir/menhir-%{version}.tar.gz
|
||||
|
||||
BuildRequires: hevea
|
||||
BuildRequires: ImageMagick
|
||||
BuildRequires: ocaml
|
||||
BuildRequires: ocaml-ocamlbuild
|
||||
BuildRequires: ocaml-findlib
|
||||
BuildRequires: tex(latex)
|
||||
BuildRequires: tex(comment.sty)
|
||||
BuildRequires: tex(moreverb.sty)
|
||||
|
||||
%description
|
||||
|
@ -57,7 +60,6 @@ rm -fr demos/obsolete
|
|||
make PREFIX=%{_prefix} TARGET=%{target}
|
||||
make -C demos clean
|
||||
make -C doc
|
||||
mv doc/main.pdf manual.pdf
|
||||
|
||||
%install
|
||||
# Remove executable bits from a demo file
|
||||
|
@ -69,7 +71,7 @@ make install PREFIX=%{buildroot}%{_prefix} TARGET=%{target}
|
|||
rm -fr %{buildroot}%{_docdir}/menhir
|
||||
|
||||
%files
|
||||
%doc CHANGES.md README.md manual.pdf demos
|
||||
%doc CHANGES.md README.md doc/manual.pdf demos
|
||||
%license LICENSE
|
||||
%{_bindir}/menhir
|
||||
%{_mandir}/man1/menhir.1*
|
||||
|
@ -80,6 +82,9 @@ rm -fr %{buildroot}%{_docdir}/menhir
|
|||
%{_libdir}/ocaml/menhirSdk/
|
||||
|
||||
%changelog
|
||||
* Wed Jun 6 2018 Jerry James <loganjerry@gmail.com> - 20180530-1
|
||||
- New upstream version
|
||||
|
||||
* Thu Feb 08 2018 Fedora Release Engineering <releng@fedoraproject.org> - 20171222-2
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
|
||||
|
||||
|
|
2
sources
2
sources
|
@ -1 +1 @@
|
|||
SHA512 (menhir-20171222.tar.gz) = b0fe2a48d1654822f31437500d76b5361657b32340fc86f012f3a7516ad2498a670df9fa889aa0f072ec9843703c18cd709e9a03fb6d14cf2e6e6cf30445e730
|
||||
SHA512 (menhir-20180530.tar.gz) = 10fbd0bc48ca3ffab5b3b9337d662d70b4dc8e7662081a6ecebf54f4f58ceca6dcddc99655791791b8ed6a6aecf51fca2d763d9e3f974a18fcd54e823eb9aab6
|
||||
|
|
Loading…
Reference in New Issue