diff options
| author | Alain Frisch <alain@frisch.fr> | 2015-04-22 10:53:47 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2015-04-22 10:53:47 +0000 |
| commit | 918f584b64426b1f1feae202234f2e2deced6ad0 (patch) | |
| tree | df7fd8b5594a75a5015b540f9784eb80f3a74ffe /driver | |
| parent | 8d1f813dee4b2ec6520e63cf5788341d4d1aff04 (diff) | |
| download | ocaml-918f584b64426b1f1feae202234f2e2deced6ad0.tar.gz | |
#6845: -no-check-prims to tell ocamlc not to check primitives in runtime.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16031 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/main.ml | 1 | ||||
| -rw-r--r-- | driver/main_args.ml | 7 | ||||
| -rw-r--r-- | driver/main_args.mli | 1 |
3 files changed, 9 insertions, 0 deletions
diff --git a/driver/main.ml b/driver/main.ml index f8358a0cbd..e773e7f2c7 100644 --- a/driver/main.ml +++ b/driver/main.ml @@ -83,6 +83,7 @@ module Options = Main_args.Make_bytecomp_options (struct let _compat_32 = set bytecode_compatible_32 let _config = show_config let _custom = set custom_runtime + let _no_check_prims = set no_check_prims let _dllib s = dllibs := Misc.rev_split_words s @ !dllibs let _dllpath s = dllpaths := !dllpaths @ [s] let _for_pack s = for_package := Some s diff --git a/driver/main_args.ml b/driver/main_args.ml index 7636abe030..9d1a27c80b 100644 --- a/driver/main_args.ml +++ b/driver/main_args.ml @@ -160,6 +160,10 @@ let mk_no_app_funct f = "-no-app-funct", Arg.Unit f, " Deactivate applicative functors" ;; +let mk_no_check_prims f = + "-no-check-prims", Arg.Unit f, " Do not check runtime for primitives" +;; + let mk_no_float_const_prop f = "-no-float-const-prop", Arg.Unit f, " Deactivate constant propagation for floating-point operations" @@ -541,6 +545,7 @@ module type Bytecomp_options = sig include Compiler_options val _compat_32 : unit -> unit val _custom : unit -> unit + val _no_check_prims : unit -> unit val _dllib : string -> unit val _dllpath : string -> unit val _make_runtime : unit -> unit @@ -642,6 +647,7 @@ struct mk_compat_32 F._compat_32; mk_config F._config; mk_custom F._custom; + mk_custom F._no_check_prims; mk_dllib F._dllib; mk_dllpath F._dllpath; mk_dtypes F._annot; @@ -661,6 +667,7 @@ struct mk_modern F._labels; mk_no_alias_deps F._no_alias_deps; mk_no_app_funct F._no_app_funct; + mk_no_check_prims F._no_check_prims; mk_noassert F._noassert; mk_noautolink_byt F._noautolink; mk_nolabels F._nolabels; diff --git a/driver/main_args.mli b/driver/main_args.mli index 18ade80bae..a94256c812 100644 --- a/driver/main_args.mli +++ b/driver/main_args.mli @@ -88,6 +88,7 @@ module type Bytecomp_options = sig include Compiler_options val _compat_32 : unit -> unit val _custom : unit -> unit + val _no_check_prims : unit -> unit val _dllib : string -> unit val _dllpath : string -> unit val _make_runtime : unit -> unit |