Rechercher une page de manuel
jocamlmktop
Langue: en
Version: 258899 (debian - 07/07/09)
Section: 1 (Commandes utilisateur)
NAME
jocamlmktop - Building custom toplevel systemsSYNOPSIS
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).Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre