diff options
author | Damien Doligez <damien.doligez-inria.fr> | 1998-10-02 12:40:44 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 1998-10-02 12:40:44 +0000 |
commit | 89074600b8f8425a829f253a27580b5548fd8193 (patch) | |
tree | 55adfa794b11c201a66b31352170d618d48b759f /driver | |
parent | 55668b9dd258e9d2b0777d5cac0d6f450b2394b7 (diff) | |
download | ocaml-89074600b8f8425a829f253a27580b5548fd8193.tar.gz |
ajout option -use_prims
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2110 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'driver')
-rw-r--r-- | driver/main.ml | 3 | ||||
-rw-r--r-- | driver/main_args.ml | 4 | ||||
-rw-r--r-- | driver/main_args.mli | 1 |
3 files changed, 6 insertions, 2 deletions
diff --git a/driver/main.ml b/driver/main.ml index ef0e9d8ae3..6038d240de 100644 --- a/driver/main.ml +++ b/driver/main.ml @@ -5,7 +5,7 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. Distributed only by permission. *) (* *) (***********************************************************************) @@ -73,6 +73,7 @@ module Options = Main_args.Make_options (struct let _pp s = preprocessor := Some s let _thread = set thread_safe let _unsafe = set fast + let _use_prims s = use_prims := s let _use_runtime s = use_runtime := s let _v = print_version_number let _verbose = set verbose diff --git a/driver/main_args.ml b/driver/main_args.ml index 5ecc172448..7982b96a27 100644 --- a/driver/main_args.ml +++ b/driver/main_args.ml @@ -32,6 +32,7 @@ module Make_options (F : val _pp : string -> unit val _thread : unit -> unit val _unsafe : unit -> unit + val _use_prims : string -> unit val _use_runtime : string -> unit val _v : unit -> unit val _verbose : unit -> unit @@ -70,7 +71,7 @@ struct "-unsafe", Arg.Unit F._unsafe, " No bounds checking on array and string access"; "-use_runtime", Arg.String F._use_runtime, - "<path> Generate bytecode for the given runtime system"; + "<path> Generate bytecode for the given runtime system"; "-v", Arg.Unit F._v, " Print compiler version number"; "-verbose", Arg.Unit F._verbose, " Print calls to external commands"; @@ -78,6 +79,7 @@ struct "-drawlambda", Arg.Unit F._drawlambda, " (undocumented)"; "-dlambda", Arg.Unit F._dlambda, " (undocumented)"; "-dinstr", Arg.Unit F._dinstr, " (undocumented)"; + "-use_prims", Arg.String F._use_prims, " <file> (undocumented)"; "-", Arg.String F.anonymous, "<file> Treat <file> as a file name (even if it starts with `-')"; diff --git a/driver/main_args.mli b/driver/main_args.mli index 8cb7c90331..a78707d235 100644 --- a/driver/main_args.mli +++ b/driver/main_args.mli @@ -32,6 +32,7 @@ module Make_options (F : val _pp : string -> unit val _thread : unit -> unit val _unsafe : unit -> unit + val _use_prims : string -> unit val _use_runtime : string -> unit val _v : unit -> unit val _verbose : unit -> unit |