spec.godiva 926 Bytes
Newer Older
1 2 3
Package: godi-menhir
Version: VERSION
Revision: 0
4
Depends: godi-ocaml (>= 4.02)
5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
Build-Depends:
Sources: http://gallium.inria.fr/~fpottier/menhir/menhir-VERSION.tar.gz
Homepage: http://gallium.inria.fr/~fpottier/menhir/
Maintainer: Franois Pottier <Francois.Pottier@inria.fr>
Docfiles: manual.pdf, menhir.1
Description: A LR(1) parser generator for Objective Caml.
Menhir compiles LR(1) grammar specifications down to Objective Caml code. It
accepts legacy ocamlyacc grammar specifications, with a few caveats. It is
superior to ocamlyacc in several ways. For instance, it offers a library of
standard parameterized definitions, including options, sequences, and lists,
and allows users to define their own parameterized nonterminal symbols. It
accepts LR(1) grammars, as opposed to only LALR(1) grammars, and attempts to
explain conflicts in a readable way. See the reference manual for a more
detailed overview of Menhir.
.