README.md 724 Bytes
Newer Older
1 2
# Menhir

POTTIER Francois committed
3 4 5 6
Menhir is an LR(1) parser generator for OCaml.

Menhir has a [home page](http://gallium.inria.fr/~fpottier/menhir/).

POTTIER Francois committed
7 8 9 10 11 12 13
## Installation

OCaml (4.02 or later), ocamlbuild, and GNU make are needed.

The latest released version of Menhir can be easily installed via
`opam`, OCaml's package manager. Just type `opam install menhir`.

POTTIER Francois committed
14
For manual installation, see [INSTALLATION.md](INSTALLATION.md).
POTTIER Francois committed
15

16 17
Some instructions for developers can be found in [HOWTO.md](HOWTO.md).

POTTIER Francois committed
18 19
## Authors

POTTIER Francois committed
20 21
* [François Pottier](Francois.Pottier@inria.fr)
* [Yann Régis-Gianas](Yann.Regis-Gianas@pps.jussieu.fr)
POTTIER Francois committed
22 23 24

## Contributors

25
* Frédéric Bour (incremental engine, inspection API, attributes, SDK)
POTTIER Francois committed
26
* Jacques-Henri Jourdan (Coq back-end)