summaryrefslogtreecommitdiff
path: root/driver/main_args.ml
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2014-10-15 13:34:58 +0000
committerDamien Doligez <damien.doligez-inria.fr>2014-10-15 13:34:58 +0000
commit031cffd1554cde5e9d78b78e4959708a2d8c9201 (patch)
tree38aec36ff5282a62a704f7a925ddac41aae51db6 /driver/main_args.ml
parente3ad818fb5f8ddc7b477779a6da69ccac0f00f4f (diff)
parent6ca707d0665b2015a5690de8c560e27f6371e443 (diff)
downloadocaml-031cffd1554cde5e9d78b78e4959708a2d8c9201.tar.gz
merge branch 4.02 from release 4.02.0 to release 4.02.1
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15558 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'driver/main_args.ml')
-rw-r--r--driver/main_args.ml55
1 files changed, 54 insertions, 1 deletions
diff --git a/driver/main_args.ml b/driver/main_args.ml
index 4f9668c750..7636abe030 100644
--- a/driver/main_args.ml
+++ b/driver/main_args.ml
@@ -501,7 +501,7 @@ module type Common_options = sig
val anonymous : string -> unit
end;;
-module type Compiler_options = sig
+module type Compiler_options = sig
val _a : unit -> unit
val _annot : unit -> unit
val _binannot : unit -> unit
@@ -608,6 +608,22 @@ module type Opttop_options = sig
val _stdin : unit -> unit
end;;
+module type Ocamldoc_options = sig
+ include Common_options
+ val _impl : string -> unit
+ val _intf : string -> unit
+ val _intf_suffix : string -> unit
+ val _pp : string -> unit
+ val _principal : unit -> unit
+ val _rectypes : unit -> unit
+ val _safe_string : unit -> unit
+ val _short_paths : unit -> unit
+ val _thread : unit -> unit
+ val _v : unit -> unit
+ val _verbose : unit -> unit
+ val _vmthread : unit -> unit
+end;;
+
module type Arg_list = sig
val list : (string * Arg.spec * string) list
end;;
@@ -874,3 +890,40 @@ module Make_opttop_options (F : Opttop_options) = struct
mk_dstartup F._dstartup;
]
end;;
+
+module Make_ocamldoc_options (F : Ocamldoc_options) =
+struct
+ let list = [
+ mk_absname F._absname;
+ mk_I F._I;
+ mk_impl F._impl;
+ mk_intf F._intf;
+ mk_intf_suffix F._intf_suffix;
+ mk_intf_suffix_2 F._intf_suffix;
+ mk_labels F._labels;
+ mk_modern F._labels;
+ mk_no_alias_deps F._no_alias_deps;
+ mk_no_app_funct F._no_app_funct;
+ mk_noassert F._noassert;
+ mk_nolabels F._nolabels;
+ mk_nostdlib F._nostdlib;
+ mk_open F._open;
+ mk_pp F._pp;
+ mk_ppx F._ppx;
+ mk_principal F._principal;
+ mk_rectypes F._rectypes;
+ mk_safe_string F._safe_string;
+ mk_short_paths F._short_paths;
+ mk_strict_sequence F._strict_sequence;
+ mk_strict_formats F._strict_formats;
+ mk_thread F._thread;
+ mk_unsafe_string F._unsafe_string;
+ mk_v F._v;
+ mk_verbose F._verbose;
+ mk_version F._version;
+ mk_vmthread F._vmthread;
+ mk_vnum F._vnum;
+ mk_w F._w;
+ mk__ F.anonymous;
+ ]
+end;;