EnglishFrenchSpanish

Ad


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

PROGRAM:

NAME


menhir - parser generator for OCaml

SYNOPSIS


menhir [options] files

DESCRIPTION


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).

OPTIONS


-h, --help
Show summary of options.

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

--comment
Include comments in the generated code.

--depend
Invoke ocamldep and display dependencies.

--dump Describe the automaton in basename.automaton.

--error-recovery
Attempt recovery by discarding tokens after errors.

--explain
Explain conflicts in basename.conflicts.

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

--graph
Write grammar's dependency graph to basename.dot.

--infer
Invoke ocamlc for ahead of time type inference.

--interpret
Interpret the sentences provided on stdin.

--interpret-show-cst
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.

--no-inline
Ignore the %inline keyword.

--no-stdlib
Do not load the standard library.

--ocamlc command
Specifies how ocamlc should be invoked.

--ocamldep command
Specifies how ocamldep should be invoked.

--only-preprocess
Print a simplified grammar and exit.

--only-tokens
Generate token type definition only, no code.

--raw-depend
Invoke ocamldep and echo its raw output.

--stdlib directory
Specify where the standard library lies.

--suggest-comp-flags
Suggest compilation flags for ocaml{c,opt}.

--suggest-link-flags-byte
Suggest link flags for ocamlc.

--suggest-link-flags-opt
Suggest link flags for ocamlopt.

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

--timings
Display internal timings.

--trace
Include tracing instructions in the generated code.

--version
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
    https://github.com/visualboyadvance-m/visualboyadvance-m
    Features:Cheat creationsave statesmulti
    system, supports gba, gbc, gb, sgb,
    sgb2Tu...
    Download VBA-M (Archived - Now on Github)
  • 2
    Stacer
    Stacer
    Linux System Optimizer and Monitoring
    Github Repository:
    https://github.com/oguzhaninan/Stacer.
    Audience: End Users/Desktop. User
    interface: Qt. Programming La...
    Download Stacer
  • 3
    OrangeFox
    OrangeFox
    Fork of TeamWinRecoveryProject(TWRP)
    with many additional functions, redesign
    and more Features:Supports Treble and
    non-Treble ROMsUp-to-date Oreo kernel,
    built...
    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
    Clementine
    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
    XISMuS
    XISMuS
    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
    i...
    Download XISMuS
  • 7
    facetracknoir
    facetracknoir
    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

Ad