package menhirSdk

  1. Overview
  2. Docs
Compile-time library for auxiliary tools related to Menhir

Install

Dune Dependency

gitlab.inria.fr Readme Changelog License Edit opam file Versions (21)

Authors

  1. F
    François Pottier <francois.pottier@inria.fr>
  2. Y
    Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>

Maintainers

  1. F
    francois.pottier@inria.fr

Sources

archive.tar.gz
md5=01577e5f15380c35bdaa8fd818204560
sha512=a686c4b047d5236c425afcd7f179964191268ff448b8d18510579d742a7256855049bc4fe568bb8f1b0d6cbfb758d95cd05e621e3410b75245bb799d623725d6

Description

Published: 11 Feb 2020

README

Menhir

Menhir is an LR(1) parser generator for OCaml.

Menhir has a home page.

Installation

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

For manual installation, see INSTALLATION.md.

Some instructions for developers can be found in HOWTO.md.

Authors

Contributors

  • Frédéric Bour (incremental engine, inspection API, attributes, SDK)

  • Jacques-Henri Jourdan (Coq back-end)

Dependencies (2)

  1. dune >= "2.0.0"
  2. ocaml >= "4.02.3"

Dev Dependencies

None

Used by (6)

  1. cairn
  2. js_of_ocaml-compiler >= "3.10.0"
  3. menhir = "20200211"
  4. merlin >= "3.5.0" & < "4.6-414" | >= "4.7-412" & < "4.7-414"
  5. merlin-lib < "4.8~5.1preview"
  6. ometrics < "0.2.0"

Conflicts (1)

  1. menhir != version