jocamlmktop(1)

jocamlmktop1

Building custom toplevel systems

Usage

jocamlmktop [ -v ] [ -cclib libname ] [ -ccopt option ] [ -custom [ -o exec-file ] [ -I lib-dir ] filename ...

Overview

The jocamlmktop(1) command builds JoCaml toplevels that contain user code preloaded at start-up. The jocamlmktop(1) command takes as argument a set of x.cmo and x.cma files, and links them with the object files that implement the JoCaml 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 jocamlmktop(1).

-v

Print the version number of the compiler.

-cclib -llibname

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

-ccopt

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

-custom

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

-Idirectory

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.

Releases

Unchanged in 3 releases since Debian 6.0 (Squeeze).

  1. 6.0–8

From jocaml 4.01.0-3 in Debian 8 (Jessie). Parsed by carta from the page's man source.