EnglishFrenchSpanish

OnWorks favicon

ocamlmktop - Online in the Cloud

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

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


ocamlmktop - Building custom toplevel systems

SYNOPSIS


ocamlmktop [ -v|-version|-vnum ] [ -cclib libname ] [ -ccopt option ] [ -custom [ -o exec-
file ] [ -I lib-dir ] filename ...

DESCRIPTION


The ocamlmktop(1) command builds OCaml toplevels that contain user code preloaded at
start-up. The ocamlmktop(1) command takes as argument a set of x.cmo and x.cma files, and
links them with the object files that implement the OCaml toplevel. If the -custom flag
is given, C object files and libraries (.o and .a files) can also be given on the command
line and are linked in the resulting toplevel.

OPTIONS


The following command-line options are recognized by ocamlmktop(1).

-v Print the version string of the compiler and exit.

-vnum or -version
Print the version number of the compiler in short form and exit.

-cclib -llibname
Pass the -llibname option to the C linker when linking in ``custom runtime'' mode
(see the corresponding option for ocamlc(1).

-ccopt Pass the given option to the C compiler and linker, when linking in ``custom
runtime'' mode. See the corresponding option for ocamlc(1).

-custom
Link in ``custom runtime'' mode. See the corresponding option for ocamlc(1).

-I directory
Add the given directory to the list of directories searched for compiled interface
files (.cmo and .cma).

-o exec-file
Specify the name of the toplevel file produced by the linker. The default is is
a.out.

Use ocamlmktop online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    strace
    strace
    The strace project has been moved to
    https://strace.io. strace is a
    diagnostic, debugging and instructional
    userspace tracer for Linux. It is used
    to monitor a...
    Download strace
  • 2
    gMKVExtractGUI
    gMKVExtractGUI
    A GUI for mkvextract utility (part of
    MKVToolNix) which incorporates most (if
    not all) functionality of mkvextract and
    mkvinfo utilities. Written in C#NET 4.0,...
    Download gMKVExtractGUI
  • 3
    JasperReports Library
    JasperReports Library
    JasperReports Library is the
    world's most popular open source
    business intelligence and reporting
    engine. It is entirely written in Java
    and it is able to ...
    Download JasperReports Library
  • 4
    Frappe Books
    Frappe Books
    Frappe Books is a free and open source
    desktop book-keeping software that's
    simple and well-designed to be used by
    small businesses and freelancers. It'...
    Download Frappe Books
  • 5
    Numerical Python
    Numerical Python
    NEWS: NumPy 1.11.2 is the last release
    that will be made on sourceforge. Wheels
    for Windows, Mac, and Linux as well as
    archived source distributions can be fou...
    Download Numerical Python
  • 6
    CMU Sphinx
    CMU Sphinx
    CMUSphinx is a speaker-independent large
    vocabulary continuous speech recognizer
    released under BSD style license. It is
    also a collection of open source tools ...
    Download CMU Sphinx
  • More »

Linux commands

crm
crm
Use crm online using onworks.net
services. ...
Run crm
  • 4
    crmgr
    crmgr
    crmgr - administration utility for QDBM
    Curia ...
    Run crmgr
  • 5
    gappletviewer
    gappletviewer
    gappletviewer - Load and runs an applet
    ...
    Run gappletviewer
  • 6
    gaps
    gaps
    mummer - package for sequence alignment
    of multiple genomes ...
    Run gaps
  • s-processed="true">
    g15stats
    g15stats - A CPU/Memory/Swap usage
    meter for G15Daemon DESCRIPTION: The
    packages provides the following usage
    meter for LCD on some Logitech
    keyboards, usind g...
    Run g15stats
  • More »
  • Ad