diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2013-04-18 11:58:59 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2013-04-18 11:58:59 +0000 |
| commit | e29c9d29564e06d897907631b9df49a51a2baa2d (patch) | |
| tree | 9367ead9f910b3dc33ec7b7657f9d65f11082203 /driver | |
| parent | e92b63fc217bd3f2ada85edc2689df96702a923d (diff) | |
PR#5986: added flag Marshal.Compat_32 and ocamlc option -compat-32.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13554 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/main.ml | 1 | ||||
| -rw-r--r-- | driver/main_args.ml | 6 | ||||
| -rw-r--r-- | driver/main_args.mli | 1 |
3 files changed, 8 insertions, 0 deletions
diff --git a/driver/main.ml b/driver/main.ml index 984e50963..e9aef82ff 100644 --- a/driver/main.ml +++ b/driver/main.ml @@ -97,6 +97,7 @@ module Options = Main_args.Make_bytecomp_options (struct let _cclib s = ccobjs := Misc.rev_split_words s @ !ccobjs let _ccopt s = ccopts := s :: !ccopts let _config = show_config + let _compat_32 = set bytecode_compatible_32 let _custom = set custom_runtime let _dllib s = dllibs := Misc.rev_split_words s @ !dllibs let _dllpath s = dllpaths := !dllpaths @ [s] diff --git a/driver/main_args.ml b/driver/main_args.ml index 568351026..487a929f6 100644 --- a/driver/main_args.ml +++ b/driver/main_args.ml @@ -47,6 +47,10 @@ let mk_compact f = "-compact", Arg.Unit f, " Optimize code size rather than speed" ;; +let mk_compat_32 f = + "-compat-32", Arg.Unit f, " Check that generated bytecode executable can run on 32-bit platforms" +;; + let mk_config f = "-config", Arg.Unit f, " Print configuration values and exit" ;; @@ -423,6 +427,7 @@ module type Bytecomp_options = sig val _cclib : string -> unit val _ccopt : string -> unit val _config : unit -> unit + val _compat_32 : unit -> unit val _custom : unit -> unit val _dllib : string -> unit val _dllpath : string -> unit @@ -650,6 +655,7 @@ struct mk_cclib F._cclib; mk_ccopt F._ccopt; mk_config F._config; + mk_compat_32 F._compat_32; mk_custom F._custom; mk_dllib F._dllib; mk_dllpath F._dllpath; diff --git a/driver/main_args.mli b/driver/main_args.mli index 018271bda..6d431e7fd 100644 --- a/driver/main_args.mli +++ b/driver/main_args.mli @@ -21,6 +21,7 @@ module type Bytecomp_options = val _cclib : string -> unit val _ccopt : string -> unit val _config : unit -> unit + val _compat_32 : unit -> unit val _custom : unit -> unit val _dllib : string -> unit val _dllpath : string -> unit |