| 1 |
Name: menhir |
| 2 |
Version: 20140422 |
| 3 |
Release: %mkrel 1 |
| 4 |
Summary: Menhir is a LR(1) parser generator for OCaml |
| 5 |
License: LGPL and QPL with static compilation exception |
| 6 |
Group: Development/OCaml |
| 7 |
URL: http://pauillac.inria.fr/~fpottier/menhir/ |
| 8 |
Source0: http://pauillac.inria.fr/~fpottier/menhir/menhir-%{version}.tar.gz |
| 9 |
BuildRequires: ocaml-compiler |
| 10 |
BuildRequires: ocaml-findlib |
| 11 |
|
| 12 |
%description |
| 13 |
Menhir is a LR(1) parser generator for OCaml. It is mostly compatible |
| 14 |
with the standard ocamlyacc and has the following enhancements: |
| 15 |
|
| 16 |
- it accepts LR(1) grammars, |
| 17 |
- it offers parameterized nonterminal symbols as well as a library of |
| 18 |
standard definitions, |
| 19 |
- it explains conflicts in terms of the grammar, |
| 20 |
- it allows grammar specifications to be split over multiple files and |
| 21 |
parametrized by OCaml modules, |
| 22 |
- it produces reentrant parsers. |
| 23 |
|
| 24 |
%prep |
| 25 |
%setup -q |
| 26 |
|
| 27 |
%build |
| 28 |
# PREFIX is there without %{buildroot} because it is used to write the |
| 29 |
# lib path in the source |
| 30 |
make PREFIX=/usr |
| 31 |
|
| 32 |
%install |
| 33 |
export DESTDIR=%{buildroot} |
| 34 |
export OCAMLFIND_DESTDIR=%{buildroot}/%{_libdir}/ocaml |
| 35 |
mkdir -p $OCAMLFIND_DESTDIR/menhirLib |
| 36 |
mkdir -p $OCAMLFIND_DESTDIR/stublibs |
| 37 |
make install PREFIX=%{buildroot}/usr |
| 38 |
|
| 39 |
%files |
| 40 |
%doc demos/ |
| 41 |
%doc manual.pdf |
| 42 |
%{_bindir}/menhir |
| 43 |
%{_mandir}/man1/menhir.1* |
| 44 |
%{_datadir}/menhir/standard.mly |
| 45 |
%dir %{_libdir}/ocaml/menhirLib |
| 46 |
%{_libdir}/ocaml/menhirLib/*.cmi |
| 47 |
%{_libdir}/ocaml/menhirLib/*.cmo |
| 48 |
%{_libdir}/ocaml/menhirLib/*.cmx |
| 49 |
%{_libdir}/ocaml/menhirLib/*.o |
| 50 |
%{_libdir}/ocaml/menhirLib/META |
Parent Directory
| 
Revision Log