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
    SAGA GIS
    SAGA GIS
    SAGA - System for Automated
    Geoscientific Analyses - is a Geographic
    Information System (GIS) software with
    immense capabilities for geodata
    processing and ana...
    Download SAGA GIS
  • 2
    Toolbox for Java/JTOpen
    Toolbox for Java/JTOpen
    The IBM Toolbox for Java / JTOpen is a
    library of Java classes supporting the
    client/server and internet programming
    models to a system running OS/400,
    i5/OS, o...
    Download Toolbox for Java/JTOpen
  • 3
    D3.js
    D3.js
    D3.js (or D3 for Data-Driven Documents)
    is a JavaScript library that allows you
    to produce dynamic, interactive data
    visualizations in web browsers. With D3
    you...
    Download D3.js
  • 4
    Shadowsocks
    Shadowsocks
    A fast tunnel proxy that helps you
    bypass firewalls This is an application
    that can also be fetched from
    https://sourceforge.net/projects/shadowsocksgui/.
    It ha...
    Download Shadowsocks
  • 5
    GLPI Themes
    GLPI Themes
    Download release at
    https://github.com/stdonato/glpi-modifications/
    Color themes for GLPI 0.84 and 0.85 New
    Modifications for GLPI This is an
    application that c...
    Download GLPI Themes
  • 6
    SMPlayer
    SMPlayer
    SMPlayer is a free media player for
    Windows and Linux with built-in codecs
    that can also play YouTube videos. One
    of the most interesting features of
    SMPlayer:...
    Download SMPlayer
  • More »

Linux commands

Ad