diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2011-03-17 16:18:05 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2011-03-17 16:18:05 +0000 |
| commit | a53ce2df70be41722d1b1054d1b06af4560d691f (patch) | |
| tree | 2429cd9b45cb7cae7e0d3dd2826de05b6d1079ed /driver | |
| parent | 80384c6d8401cdd897e7ff4c75a7a7b1a12b5585 (diff) | |
| download | ocaml-a53ce2df70be41722d1b1054d1b06af4560d691f.tar.gz | |
add option -runtime-variant
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10982 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/main.ml | 1 | ||||
| -rw-r--r-- | driver/main_args.ml | 9 | ||||
| -rw-r--r-- | driver/main_args.mli | 2 | ||||
| -rw-r--r-- | driver/optmain.ml | 1 |
4 files changed, 13 insertions, 0 deletions
diff --git a/driver/main.ml b/driver/main.ml index 09aa89655e..58d3b8e50c 100644 --- a/driver/main.ml +++ b/driver/main.ml @@ -119,6 +119,7 @@ module Options = Main_args.Make_bytecomp_options (struct let _pp s = preprocessor := Some s let _principal = set principal let _rectypes = set recursive_types + let _runtime_variant s = runtime_variant := s let _strict_sequence = set strict_sequence let _thread = set use_threads let _vmthread = set use_vmthreads diff --git a/driver/main_args.ml b/driver/main_args.ml index 279a46328e..e50504fe58 100644 --- a/driver/main_args.ml +++ b/driver/main_args.ml @@ -204,6 +204,11 @@ let mk_rectypes f = "-rectypes", Arg.Unit f, " Allow arbitrary recursive types" ;; +let mk_runtime_variant f = + "-runtime-variant", Arg.String f, + "<str> Use the <str> variant of the run-time system" +;; + let mk_S f = "-S", Arg.Unit f, " Keep intermediate assembly file" ;; @@ -402,6 +407,7 @@ module type Bytecomp_options = sig val _pp : string -> unit val _principal : unit -> unit val _rectypes : unit -> unit + val _runtime_variant : string -> unit val _strict_sequence : unit -> unit val _thread : unit -> unit val _vmthread : unit -> unit @@ -485,6 +491,7 @@ module type Optcomp_options = sig val _pp : string -> unit val _principal : unit -> unit val _rectypes : unit -> unit + val _runtime_variant : string -> unit val _strict_sequence : unit -> unit val _shared : unit -> unit val _S : unit -> unit @@ -604,6 +611,7 @@ struct mk_pp F._pp; mk_principal F._principal; mk_rectypes F._rectypes; + mk_runtime_variant F._runtime_variant; mk_strict_sequence F._strict_sequence; mk_thread F._thread; mk_unsafe F._unsafe; @@ -695,6 +703,7 @@ struct mk_pp F._pp; mk_principal F._principal; mk_rectypes F._rectypes; + mk_runtime_variant F._runtime_variant; mk_S F._S; mk_strict_sequence F._strict_sequence; mk_shared F._shared; diff --git a/driver/main_args.mli b/driver/main_args.mli index 1c4abf5097..8a4fbc3791 100644 --- a/driver/main_args.mli +++ b/driver/main_args.mli @@ -44,6 +44,7 @@ module type Bytecomp_options = val _pp : string -> unit val _principal : unit -> unit val _rectypes : unit -> unit + val _runtime_variant : string -> unit val _strict_sequence : unit -> unit val _thread : unit -> unit val _vmthread : unit -> unit @@ -128,6 +129,7 @@ module type Optcomp_options = sig val _pp : string -> unit val _principal : unit -> unit val _rectypes : unit -> unit + val _runtime_variant : string -> unit val _strict_sequence : unit -> unit val _shared : unit -> unit val _S : unit -> unit diff --git a/driver/optmain.ml b/driver/optmain.ml index 1c7352c527..c76f56a8a0 100644 --- a/driver/optmain.ml +++ b/driver/optmain.ml @@ -128,6 +128,7 @@ module Options = Main_args.Make_optcomp_options (struct let _pp s = preprocessor := Some s let _principal = set principal let _rectypes = set recursive_types + let _runtime_variant s = runtime_variant := s let _strict_sequence = set strict_sequence let _shared () = shared := true; dlcode := true let _S = set keep_asm_file |