OnWorks favicon

menhir - Online in the Cloud

Run menhir in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command menhir that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator



menhir - parser generator for OCaml


menhir [options] files


menhir is a LR(1) parser generator for the Objective Caml programming language. That is,
Menhir compiles LR(1) grammar specifications down to Objective Caml code. It is mostly
compatible with ocamlyacc(1).


-h, --help
Show summary of options.

-b, --base basename
Specifies a base name for the output file(s).

Include comments in the generated code.

Invoke ocamldep and display dependencies.

--dump Describe the automaton in basename.automaton.

Attempt recovery by discarding tokens after errors.

Explain conflicts in basename.conflicts.

--external-tokens module
Import token type definition from module.

Write grammar's dependency graph to basename.dot.

Invoke ocamlc for ahead of time type inference.

Interpret the sentences provided on stdin.

Show a concrete syntax tree upon acceptance.

-la, --log-automaton level
Log information about the automaton.

-lc, --log-code level
Log information about the generated code.

-lg, --log-grammar level
Log information about the grammar.

Ignore the %inline keyword.

Do not load the standard library.

--ocamlc command
Specifies how ocamlc should be invoked.

--ocamldep command
Specifies how ocamldep should be invoked.

Print a simplified grammar and exit.

Generate token type definition only, no code.

Invoke ocamldep and echo its raw output.

--stdlib directory
Specify where the standard library lies.

Suggest compilation flags for ocaml{c,opt}.

Suggest link flags for ocamlc.

Suggest link flags for ocamlopt.

-t, --table
Use the table-based back-end.

Display internal timings.

Include tracing instructions in the generated code.

Show version number and exit.

-v Synonymous with --dump --explain.

Use menhir online using onworks.net services

Free Servers & Workstations

Download Windows & Linux apps

  • 1
    VBA-M (Archived - Now on Github)
    VBA-M (Archived - Now on Github)
    Project has moved to
    Features:Cheat creationsave statesmulti
    system, supports gba, gbc, gb, sgb,
    Download VBA-M (Archived - Now on Github)
  • 2
    Linux System Optimizer and Monitoring
    Github Repository:
    Audience: End Users/Desktop. User
    interface: Qt. Programming La...
    Download Stacer
  • 3
    Fork of TeamWinRecoveryProject(TWRP)
    with many additional functions, redesign
    and more Features:Supports Treble and
    non-Treble ROMsUp-to-date Oreo kernel,
    Download OrangeFox
  • 4
    itop - ITSM  CMDB OpenSource
    itop - ITSM CMDB OpenSource
    IT Operations Portal: a complete open
    source, ITIL, web based service
    management tool including a fully
    customizable CMDB, a helpdesk system and
    a document man...
    Download itop - ITSM CMDB OpenSource
  • 5
    Clementine is a multi-platform music
    player and library organizer inspired by
    Amarok 1.4. It has a fast and
    easy-to-use interface, and allows you to
    search and ...
    Download Clementine
  • 6
    ATTENTION: Cumulative update 2.4.3 has
    been released!! The update works for any
    previous 2.x.x version. If upgrading
    from version v1.x.x, please download and
    Download XISMuS
  • 7
    Modular headtracking program that
    supports multiple face-trackers, filters
    and game-protocols. Among the trackers
    are the SM FaceAPI, AIC Inertial Head
    Tracker ...
    Download facetracknoir
  • More »

Linux commands