EnglishFrenchSpanish

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
    Image Downloader
    Image Downloader
    Crawl and download images using
    Selenium Using python3 and PyQt5.
    Supported Search Engine: Google, Bing,
    Baidu. Keywords input from the keyboard
    or input from ...
    Download Image Downloader
  • 2
    Eclipse Tomcat Plugin
    Eclipse Tomcat Plugin
    The Eclipse Tomcat Plugin provides
    simple integration of a tomcat servlet
    container for the development of java
    web applications. You can join us for
    discussio...
    Download Eclipse Tomcat Plugin
  • 3
    WebTorrent Desktop
    WebTorrent Desktop
    WebTorrent Desktop is for streaming
    torrents on Mac, Windows or Linux. It
    connects to both BitTorrent and
    WebTorrent peers. Now there's no
    need to wait for...
    Download WebTorrent Desktop
  • 4
    GenX
    GenX
    GenX is a scientific program to refine
    x-ray refelcetivity, neutron
    reflectivity and surface x-ray
    diffraction data using the differential
    evolution algorithm....
    Download GenX
  • 5
    pspp4windows
    pspp4windows
    PSPP is a program for statistical
    analysis of sampled data. It is a free
    replacement for the proprietary program
    SPSS. PSPP has both text-based and
    graphical us...
    Download pspp4windows
  • 6
    Git Extensions
    Git Extensions
    Git Extensions is a standalone UI tool
    for managing Git repositories. It also
    integrates with Windows Explorer and
    Microsoft Visual Studio
    (2015/2017/2019). Th...
    Download Git Extensions
  • More »

Linux commands

Ad