summaryrefslogtreecommitdiff
path: root/driver
diff options
context:
space:
mode:
authorLeo White <leo@lpw25.net>2015-06-28 13:11:50 +0000
committerLeo White <leo@lpw25.net>2015-06-28 13:11:50 +0000
commit5c55e4cc0869436e544321ebdcc187df70ac7a82 (patch)
tree8b7980d665261230a916858022c2e41f78cebee7 /driver
parenta90f0e4c638ddf94e6b5bbfbd20b4ae2ddfa0c12 (diff)
downloadocaml-5c55e4cc0869436e544321ebdcc187df70ac7a82.tar.gz
Attach documentation comments to Parsetree
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16189 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'driver')
-rw-r--r--driver/compenv.ml1
-rw-r--r--driver/main.ml1
-rw-r--r--driver/main_args.ml7
-rw-r--r--driver/main_args.mli1
-rw-r--r--driver/optmain.ml1
5 files changed, 11 insertions, 0 deletions
diff --git a/driver/compenv.ml b/driver/compenv.ml
index 02de9198f0..68a4e05042 100644
--- a/driver/compenv.ml
+++ b/driver/compenv.ml
@@ -175,6 +175,7 @@ let read_OCAMLPARAM ppf position =
| "verbose" -> set "verbose" [ verbose ] v
| "nopervasives" -> set "nopervasives" [ nopervasives ] v
| "slash" -> set "slash" [ force_slash ] v (* for ocamldep *)
+ | "keep-docs" -> set "keep-docs" [ Clflags.keep_docs ] v
| "keep-locs" -> set "keep-locs" [ Clflags.keep_locs ] v
| "compact" -> clear "compact" [ optimize_for_speed ] v
diff --git a/driver/main.ml b/driver/main.ml
index 8bf66c3f96..fae7343b42 100644
--- a/driver/main.ml
+++ b/driver/main.ml
@@ -89,6 +89,7 @@ module Options = Main_args.Make_bytecomp_options (struct
let _impl = impl
let _intf = intf
let _intf_suffix s = Config.interface_suffix := s
+ let _keep_docs = set keep_docs
let _keep_locs = set keep_locs
let _labels = unset classic
let _linkall = set link_everything
diff --git a/driver/main_args.ml b/driver/main_args.ml
index 06abc2c915..d37d23c923 100644
--- a/driver/main_args.ml
+++ b/driver/main_args.ml
@@ -126,6 +126,10 @@ let mk_intf_suffix_2 f =
"-intf_suffix", Arg.String f, "<string> (deprecated) same as -intf-suffix"
;;
+let mk_keep_docs f =
+ "-keep-docs", Arg.Unit f, " Keep documentation strings in .cmi files"
+;;
+
let mk_keep_locs f =
"-keep-locs", Arg.Unit f, " Keep locations in .cmi files"
;;
@@ -524,6 +528,7 @@ module type Compiler_options = sig
val _impl : string -> unit
val _intf : string -> unit
val _intf_suffix : string -> unit
+ val _keep_docs : unit -> unit
val _keep_locs : unit -> unit
val _linkall : unit -> unit
val _noautolink : unit -> unit
@@ -663,6 +668,7 @@ struct
mk_intf F._intf;
mk_intf_suffix F._intf_suffix;
mk_intf_suffix_2 F._intf_suffix;
+ mk_keep_docs F._keep_docs;
mk_keep_locs F._keep_locs;
mk_labels F._labels;
mk_linkall F._linkall;
@@ -782,6 +788,7 @@ struct
mk_inline F._inline;
mk_intf F._intf;
mk_intf_suffix F._intf_suffix;
+ mk_keep_docs F._keep_docs;
mk_keep_locs F._keep_locs;
mk_labels F._labels;
mk_linkall F._linkall;
diff --git a/driver/main_args.mli b/driver/main_args.mli
index a94256c812..0f55a0fd0c 100644
--- a/driver/main_args.mli
+++ b/driver/main_args.mli
@@ -62,6 +62,7 @@ module type Compiler_options = sig
val _impl : string -> unit
val _intf : string -> unit
val _intf_suffix : string -> unit
+ val _keep_docs : unit -> unit
val _keep_locs : unit -> unit
val _linkall : unit -> unit
val _noautolink : unit -> unit
diff --git a/driver/optmain.ml b/driver/optmain.ml
index 56eb3316a8..7cab9d1bb3 100644
--- a/driver/optmain.ml
+++ b/driver/optmain.ml
@@ -89,6 +89,7 @@ module Options = Main_args.Make_optcomp_options (struct
let _inline n = inline_threshold := n * 8
let _intf = intf
let _intf_suffix s = Config.interface_suffix := s
+ let _keep_docs = set keep_docs
let _keep_locs = set keep_locs
let _labels = clear classic
let _linkall = set link_everything