debian man page for jocamlmktop

Query: jocamlmktop

OS: debian

Section: 1

Format: Original Unix Latex Style Formatted with HTML and a Horizontal Scroll Bar

JOCAMLMKTOP(1)						      General Commands Manual						    JOCAMLMKTOP(1)

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 argu- ment 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). JOCAMLMKTOP(1)
Related Man Pages
jocamldep(1) - debian
camlp5(1) - debian
jocaml(1) - debian
jocamlmktop(1) - debian
ocamlmktop(1) - centos
Similar Topics in the Unix Linux Community
C files searching and Linking
g++ linking problem...
Issues with two versions of libstdC++.so
Ps command different behaviour
How do I custom sort the files in a directory using the filenames in a text file.?