summaryrefslogtreecommitdiff
path: root/man/ocamlmktop.m
diff options
context:
space:
mode:
Diffstat (limited to 'man/ocamlmktop.m')
-rw-r--r--man/ocamlmktop.m85
1 files changed, 0 insertions, 85 deletions
diff --git a/man/ocamlmktop.m b/man/ocamlmktop.m
deleted file mode 100644
index 1a956329c8..0000000000
--- a/man/ocamlmktop.m
+++ /dev/null
@@ -1,85 +0,0 @@
-.TH OCAMLMKTOP 1
-
-.SH NAME
-ocamlmktop \- Building custom toplevel systems
-
-.SH SYNOPSIS
-.B ocamlmktop
-[
-.B \-v
-]
-[
-.BI \-cclib \ libname
-]
-[
-.BI \-ccopt \ option
-]
-[
-.B \-custom
-[
-.BI \-o \ exec-file
-]
-[
-.BI \-I \ lib-dir
-]
-.I filename ...
-
-.SH DESCRIPTION
-
-The
-.BR ocamlmktop (1)
-command builds Objective Caml toplevels that
-contain user code preloaded at start-up.
-The
-.BR ocamlmktop (1)
-command takes as argument a set of
-.IR x \&.cmo
-and
-.IR x \&.cma
-files, and links them with the object files that implement the Objective
-Caml toplevel. If the
-.B -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.
-
-.SH OPTIONS
-
-The following command-line options are recognized by
-.BR ocamlmktop (1).
-
-.TP
-.B \-v
-Print the version number of the compiler.
-
-.TP
-.BI \-cclib\ -l libname
-Pass the
-.BI \-l libname
-option to the C linker when linking in
-``custom runtime'' mode (see the corresponding option for
-.BR ocamlc (1).
-
-.TP
-.B \-ccopt
-Pass the given option to the C compiler and linker, when linking in
-``custom runtime'' mode. See the corresponding option for
-.BR ocamlc (1).
-
-.TP
-.B \-custom
-Link in ``custom runtime'' mode. See the corresponding option for
-.BR ocamlc (1).
-
-.TP
-.BI \-I directory
-Add the given directory to the list of directories searched for
-compiled interface files (.cmo and .cma).
-
-.TP
-.BI \-o \ exec-file
-Specify the name of the toplevel file produced by the linker.
-The default is is
-.BR a.out .
-
-.SH SEE ALSO
-.BR ocamlc (1).