diff options
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/compenv.ml | 1 | ||||
| -rw-r--r-- | driver/main.ml | 1 | ||||
| -rw-r--r-- | driver/main_args.ml | 12 | ||||
| -rw-r--r-- | driver/main_args.mli | 4 | ||||
| -rw-r--r-- | driver/optmain.ml | 1 |
5 files changed, 19 insertions, 0 deletions
diff --git a/driver/compenv.ml b/driver/compenv.ml index 5990a6564..619670764 100644 --- a/driver/compenv.ml +++ b/driver/compenv.ml @@ -167,6 +167,7 @@ let read_OCAMLPARAM ppf position = | "no-app-funct" -> clear "no-app-funct" [ applicative_functors ] v | "nodynlink" -> clear "nodynlink" [ dlcode ] v | "short-paths" -> clear "short-paths" [ real_paths ] v + | "trans-mod" -> set "trans-mod" [ transparent_modules ] v | "pp" -> preprocessor := Some v | "runtime-variant" -> runtime_variant := v diff --git a/driver/main.ml b/driver/main.ml index 2d5bb394f..cbb645999 100644 --- a/driver/main.ml +++ b/driver/main.ml @@ -112,6 +112,7 @@ module Options = Main_args.Make_bytecomp_options (struct let _short_paths = unset real_paths let _strict_sequence = set strict_sequence let _thread = set use_threads + let _trans_mod = set transparent_modules let _vmthread = set use_vmthreads let _unsafe = set fast let _use_prims s = use_prims := s diff --git a/driver/main_args.ml b/driver/main_args.ml index d21ec6652..aba306b54 100644 --- a/driver/main_args.ml +++ b/driver/main_args.ml @@ -265,6 +265,10 @@ let mk_thread f = " Generate code that supports the system threads library" ;; +let mk_trans_mod f = + "-trans-mod", Arg.Unit f, + " Make typing and linking only depend on normalized paths" + let mk_unsafe f = "-unsafe", Arg.Unit f, " Do not compile bounds checking on array and string access" @@ -465,6 +469,7 @@ module type Bytecomp_options = sig val _runtime_variant : string -> unit val _short_paths : unit -> unit val _strict_sequence : unit -> unit + val _trans_mod : unit -> unit val _thread : unit -> unit val _vmthread : unit -> unit val _unsafe : unit -> unit @@ -508,6 +513,7 @@ module type Bytetop_options = sig val _short_paths : unit -> unit val _stdin: unit -> unit val _strict_sequence : unit -> unit + val _trans_mod : unit -> unit val _unsafe : unit -> unit val _version : unit -> unit val _vnum : unit -> unit @@ -566,6 +572,7 @@ module type Optcomp_options = sig val _shared : unit -> unit val _short_paths : unit -> unit val _strict_sequence : unit -> unit + val _trans_mod : unit -> unit val _thread : unit -> unit val _unsafe : unit -> unit val _v : unit -> unit @@ -622,6 +629,7 @@ module type Opttop_options = sig val _short_paths : unit -> unit val _stdin : unit -> unit val _strict_sequence : unit -> unit + val _trans_mod : unit -> unit val _unsafe : unit -> unit val _version : unit -> unit val _vnum : unit -> unit @@ -702,6 +710,7 @@ struct mk_runtime_variant F._runtime_variant; mk_short_paths F._short_paths; mk_strict_sequence F._strict_sequence; + mk_trans_mod F._trans_mod; mk_thread F._thread; mk_unsafe F._unsafe; mk_use_runtime F._use_runtime; @@ -749,6 +758,7 @@ struct mk_short_paths F._short_paths; mk_stdin F._stdin; mk_strict_sequence F._strict_sequence; + mk_trans_mod F._trans_mod; mk_unsafe F._unsafe; mk_version F._version; mk_vnum F._vnum; @@ -811,6 +821,7 @@ struct mk_shared F._shared; mk_short_paths F._short_paths; mk_strict_sequence F._strict_sequence; + mk_trans_mod F._trans_mod; mk_thread F._thread; mk_unsafe F._unsafe; mk_v F._v; @@ -869,6 +880,7 @@ module Make_opttop_options (F : Opttop_options) = struct mk_short_paths F._short_paths; mk_stdin F._stdin; mk_strict_sequence F._strict_sequence; + mk_trans_mod F._trans_mod; mk_unsafe F._unsafe; mk_version F._version; mk_vnum F._vnum; diff --git a/driver/main_args.mli b/driver/main_args.mli index 9372d85de..67a6c681d 100644 --- a/driver/main_args.mli +++ b/driver/main_args.mli @@ -50,6 +50,7 @@ module type Bytecomp_options = val _runtime_variant : string -> unit val _short_paths : unit -> unit val _strict_sequence : unit -> unit + val _trans_mod : unit -> unit val _thread : unit -> unit val _vmthread : unit -> unit val _unsafe : unit -> unit @@ -94,6 +95,7 @@ module type Bytetop_options = sig val _short_paths : unit -> unit val _stdin : unit -> unit val _strict_sequence : unit -> unit + val _trans_mod : unit -> unit val _unsafe : unit -> unit val _version : unit -> unit val _vnum : unit -> unit @@ -152,6 +154,7 @@ module type Optcomp_options = sig val _shared : unit -> unit val _short_paths : unit -> unit val _strict_sequence : unit -> unit + val _trans_mod : unit -> unit val _thread : unit -> unit val _unsafe : unit -> unit val _v : unit -> unit @@ -208,6 +211,7 @@ module type Opttop_options = sig val _short_paths : unit -> unit val _stdin : unit -> unit val _strict_sequence : unit -> unit + val _trans_mod : unit -> unit val _unsafe : unit -> unit val _version : unit -> unit val _vnum : unit -> unit diff --git a/driver/optmain.ml b/driver/optmain.ml index 84e07183b..d04ad76b1 100644 --- a/driver/optmain.ml +++ b/driver/optmain.ml @@ -110,6 +110,7 @@ module Options = Main_args.Make_optcomp_options (struct let _runtime_variant s = runtime_variant := s let _short_paths = clear real_paths let _strict_sequence = set strict_sequence + let _trans_mod = set transparent_modules let _shared () = shared := true; dlcode := true let _S = set keep_asm_file let _thread = set use_threads |