EnglishFrenchSpanish

OnWorks favicon

ocamlify - Online in the Cloud

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

This is the command ocamlify 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


ocamlify - create an OCaml file including other files.

SYNOPSIS


ocamlify [options] option-file

DESCRIPTION


This program allows to copy files inside OCaml code. It uses a first file that describes
the other files that must be included and the type of OCaml variable it should create. It
can also describe dependencies to other files, in order to generate .depends files for
make.

For example, we can create a file test.mlify with this content:

VarString oasissys_ml "OASISSys.ml"
VarStringList readme_template_mkd "MANUAL-template.mkd"

We then translate it using the program:

$> ocamlify --output test.ml test.mlify

And we get a file test.ml containing two OCaml variables: oasissys_ml, which is a string,
and readme_template_mkd which is a string list (one string per line).

OPTIONS


--var-string-list varname file
Include file as a list of string, each string representing a line (without trailing
EOL character)

--var-string varname file
Include file as a string.

--output file
Output file, default to standard output

--depends
Output file dependencies

--target file
Define target of dependencies

-help|--help
Display list of options

AUTHORS


Sylvain Le Gall.

Use ocamlify 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