EnglishFrenchSpanish

OnWorks favicon

eliomopt - Online in the Cloud

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

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


eliomc, eliomcp, eliomopt, js_of_eliom, eliomdep - the eliom build tools

SYNOPSIS


eliomc [options] files

eliomcp [options] files

eliomopt [options] files

eliomdep [options] files

eliomdoc [options] files

eliompp [-client|-server] files

js_of_eliom [options] files -o filename.js

DESCRIPTION


eliomc, eliomcp and eliomopt are wrapper around the OCaml compiler that ease the
compilation of the server part of projects based on the Eliom framework. They respectively
accept the same set of option than the ocamlc(1),ocamlcp(1) and ocamlopt(1) compilers plus
the specific ones described in the OPTIONS section.

js_of_eliom is a wrapper around the OCaml and Js_of_ocaml compilers that ease the
compilation of the client part of projects based on the Eliom framework. It accepts the
same set of option than the ocamlc(1) compiler plus the specific ones described in the
OPTIONS section.

eliomdep is a wrapper around ocamldep(1) that handles dependencies of an .eliom source
files. It accepts the same set of options plus the specific ones described in the OPTIONS
section. It makes the assumption that server-side compiled modules of OCaml files located
in this directory subtree are in directory _server (with same subdirectories structure)
(resp. in directory _client for client-side compiled modules).

eliompp (EXPERIMENTAL) is a preprocessor which remove specific sections, depending on the
given option. The option -client will remove all the top-level parts and server sections
and the option -server will remove only the client sections.

eliomdoc (EXPERIMENTAL) is a wrapper around the OCaml documentation generator ocamldoc.
It allows you to generate documentation from client or server side. It accepts the same
set of option than ocamldoc(1). It automatically extracts the commentaries from the
desired sections. eliomdoc is currently experimental, and you could find some undefined
behaviours. (see http://ocsigen.org/eliom/manual/workflow-compilation). Some well known
bugs are:

· your files should always begin with a value and not with a comment. Otherwise,
camlp4 won't output the commentaries.

· sometimes, comment node are not attached as expected. That's because camlp4
(sometimes) remove extra new line between value elements.

COMPILING ELIOM SOURCE FILES


The compilation of files with a .eliom extension is achieved in three steps: infer the
type of value sent by the server to the client; compile the server part of the code and
compile the client part. The first two steps can be realised with eliomc and the last one
with js_of_eliom.

Both tools produce a .cmo file named as the original .eliom file. To avoid overwriting the
.cmo representing the server part with .cmo of the client part, files generated by
eliomc or eliomopt are stored by default in a subdirectory named _server and files
generated by js_of_eliom are stored in a subdirectory named _client. Those default
directories could be respectively overridden by the environment variables ELIOM_SERVER_DIR
and ELIOM_CLIENT_DIR.

The types infered by eliomc for values sent by the server to the client are stored in an
intermediate files named as the original .eliom file and whose extension is .type_mli.
That file is required by js_of_eliom for compiling the client part of the .eliom file. The
eliomdep tool correctly generate dependencies that intermediate file for the server .cmo
and the client .cmo.

OPTIONS


-eliom-inc <dir> Add <dir> to the list of eliom include directories (eliomdep only).

-dir <dir>
Specify the target directory for generated files

-package <name>
This is the same option as the ocamlfind one.

-predicates <p>
This is the same option as the ocamlfind one.

-no-autoload
Do not load commonly used syntax extensions (deriving, lwt, js_of_ocaml, tyxml).

-type-conv
Use type_conv syntax extensions instead of deriving one. It has no effect if used
in conjunction with -no-autoload.

-ppopt <opt>
Append <opt> to preprocessor invocation.

-jsopt <opt>
Append <opt> to js_of_ocaml invocation (js_of_eliom only).

-infer <opt>
For .eliom file, only generate the intermediate .type_mli file (eliomc and eliomopt
only).

-noinfer <opt>
For .eliom file, do not generate the intermediate .type_mli file (eliomc and
eliomopt only).

-help or --help
Display a short usage summary and exit.

EXAMPLES


The compilation of an Eliom projects composed of a server specific file named server.ml, a
client specific file named client.ml and two common files name base.eliom and main.eliom,
could be achieved with the following commands:

eliomc -a -o appl.cma server.ml base.eliom main.eliom
js_of_eliom -o appl.js client.ml base.eliom main.eliom

To avoid recompiling the whole project each times, this could be split in multiple steps:

eliomc -c server.ml
eliomc -c base.eliom
eliomc -c main.eliom
eliomc -a -o appl.cma _server/server.cmo _server/base.cmo _server/main.cmo
js_of_eliom -c client.ml
js_of_eliom -c base.eliom
js_of_eliom -c main.eliom
js_of_eliom -o appl.js _client/client.cmo _client/base.cmo _client/main.cmo

Use eliomopt online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    XMLTV
    XMLTV
    XMLTV is a set of programs to process
    TV (tvguide) listings and help manage
    your TV viewing, storing listings in an
    XML-based format. There are utilities to
    do...
    Download XMLTV
  • 2
    strikr
    strikr
    Strikr Free Software project. Artifacts
    released under a 'intent based'
    dual license: AGPLv3 (community) and
    CC-BY-NC-ND 4.0 international
    (commercial)...
    Download strikr
  • 4
    GIFLIB
    GIFLIB
    giflib is a library for reading and
    writing gif images. It is API and ABI
    compatible with libungif which was in
    wide use while the LZW compression
    algorithm was...
    Download GIFLIB
  • 5
    Alt-F
    Alt-F
    Alt-F provides a free and open source
    alternative firmware for the DLINK
    DNS-320/320L/321/323/325/327L and
    DNR-322L. Alt-F has Samba and NFS;
    supports ext2/3/4...
    Download Alt-F
  • 6
    usm
    usm
    Usm is a unified slackware package
    manager that handles automatic
    dependency resolution. It unifies
    various package repositories including
    slackware, slacky, p...
    Download usm
  • More »

Linux commands

Ad