package menhir

Build not checked
  1. Overview
  2. Docs
An LR(1) parser generator

Install 

dune-project
 Dependency

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

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=91aeae45fbf781e82ec3fe636be6ad49
sha512=4a7c4a72d4437940a0f62d402f783efcf357dde6f0a9e9f164c315148776e4642a822b6472f1e6e641164d110bc1ee05a6c1ad4a733f5defe4603b6072c1a34f

Description

Added to opam-repository:

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 (4)

  1. menhirSdk = version
  2. menhirLib = version
  3. dune >= "2.0.0"
  4. ocaml >= "4.02.3"

Dev Dependencies

None

Optional Dependencies

None

  1. absolute >= "0.2"
  2. acgtk < "2.1.0"
  3. aifad >= "2.3.0"
  4. alba < "0.4.3"
  5. alt-ergo >= "2.0.0" & < "2.3.0" | >= "2.4.0"
  6. alt-ergo-free
  7. alt-ergo-parsers
  8. anders < "5.0.0"
  9. archetype
  10. arrakis
  11. asli
  12. atd
  13. bdd >= "0.5"
  14. binsec
  15. caper
  16. cca < "0.6.2"
  17. cfg >= "2.3.0"
  18. charrua-server
  19. coccinelle
  20. codept < "0.12.1"
  21. codept-lib
  22. coin < "0.1.4"
  23. dedukti
  24. diffast-core
  25. diffast-langs-cpp-parsing
  26. diffast-langs-fortran-parsing
  27. diffast-langs-java-parsing
  28. diffast-langs-python-parsing
  29. diffast-langs-verilog-parsing
  30. dkml-dune-dsl-show
  31. dolmen < "0.6"
  32. drom_toml
  33. dune >= "3.17.2"
  34. edn
  35. electrod
  36. embedded_ocaml_templates < "0.8"
  37. erlang
  38. FrontC >= "4.0.0"
  39. forester != "2.1" & < "3.0.0"
  40. frama-c >= "27.0~beta"
  41. frama-c-luncov >= "0.2.1"
  42. fstar < "2025.02.17"
  43. gadelac
  44. gdbprofiler
  45. gobba
  46. gospel
  47. graphql_parser >= "0.9.0"
  48. gufo
  49. heptagon
  50. herdtools7 >= "7.55"
  51. huml
  52. inferno >= "20220603"
  53. jasmin
  54. jingoo >= "1.3.1"
  55. js_of_ocaml-compiler
  56. js_of_ocaml-webgpu < "0.2"
  57. js_of_ocaml-webidl
  58. karamel
  59. kdl
  60. kind2
  61. kremlin < "transition"
  62. libabsolute
  63. libsail < "0.18"
  64. libzipperposition
  65. links < "0.9.4"
  66. liquidsoap < "2.3.3"
  67. liquidsoap-lang < "2.3.0"
  68. logtk
  69. lp
  70. lreplay >= "0.1.1"
  71. lsp < "1.15.1-5.0"
  72. MlFront_Cli < "2.3.1"
  73. MlFront_Lua
  74. mazeppa
  75. mc2
  76. merlin < "4.14-500"
  77. minicaml
  78. minimal
  79. mopsa < "1.2"
  80. morbig < "0.11.0"
  81. msat = "0.8"
  82. mustache >= "3.1.0"
  83. netkat
  84. nice_parser
  85. nuscr
  86. obelisk
  87. obus >= "1.2.1"
  88. ocamlformat < "0.19.0"
  89. ocamlformat-rpc < "0.19.0"
  90. ocamlgrep
  91. odate < "0.7"
  92. odds
  93. ollvm
  94. ollvm-tapir
  95. ometrics < "0.2.0"
  96. openQASM
  97. otoml
  98. ott >= "0.32"
  99. p4pp != "0.1.8"
  100. pfff
  101. phylogenetics
  102. ppx_pbt < "0.2.1"
  103. psmt2-frontend
  104. reason
  105. rfsm
  106. runtime_events_tools >= "0.5.0"
  107. sail < "0.15"
  108. satex
  109. satyrographos >= "0.0.2.8"
  110. sedlex >= "3.8.1"
  111. sgf
  112. shapefile
  113. sifun
  114. smtlib-utils
  115. solidity-parser
  116. sqlgg
  117. squirrel
  118. stog-writing
  119. swhid < "0.2"
  120. systemverilog
  121. talaria-bibtex
  122. tip-parser
  123. toml
  124. touist
  125. tptp
  126. uuuu < "0.3.0"
  127. wasm_of_ocaml-compiler
  128. wcs-lib >= "2017-05-26.02"
  129. webidl != "1.2"
  130. why3 >= "1.3.0" & < "1.8.0"
  131. wikitext
  132. zanuda
  133. zelus
  134. zipperposition

Conflicts

None

Build status

Results of building menhir with each compiler on check.ci.ocaml.org, run of against opam-repository 8a77e58. All results for this package.

Each result links to its build log. To keep crawlers from overloading the site, build logs require a GitHub sign-in (see ocurrent/opam-health-check). On your first log, GitHub asks you to “Authorize opam-health-check”, the OCurrent app that runs these checks; it sees only your public profile, not your repositories. The sign-in lasts 30 days.

This version is not in the latest run; the versions below are.

Version OCaml 4.11 OCaml 4.14 OCaml 5.2 OCaml 5.4 OCaml 5.5
20260209 good good good good good
  • good Package successfully built
  • partial One of the dependencies failed to build
  • bad Package failed to build
  • n/a Package is not available in this environment
  • internal Internal failure