Linux Certif

Toute la documentation sur la certification Linux LPI

jocamlmktop

NAME

jocamlmktop - Building custom toplevel systems

SYNOPSIS

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

DESCRIPTION

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.

SEE ALSO

jocamlc(1).