diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2004-11-27 01:04:19 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2004-11-27 01:04:19 +0000 |
| commit | 39f06c597a614b9cf8f6ff6ff677cced1d76dae5 (patch) | |
| tree | ef817743a4874950a27fdee443855ac41097856a /toplevel | |
| parent | a66d963bf79c980bd081eed7c4aee637a58d1413 (diff) | |
PR#3085 ajout option "-version"
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6701 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/topmain.ml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/toplevel/topmain.ml b/toplevel/topmain.ml index 981b5cb83..2e39c2b15 100644 --- a/toplevel/topmain.ml +++ b/toplevel/topmain.ml @@ -45,6 +45,11 @@ let file_argument name = else exit 2 end +let print_version () = + Printf.printf "The Objective Caml toplevel, version %s\n" Sys.ocaml_version; + exit 0; +;; + let main () = Arg.parse [ "-I", Arg.String(fun dir -> @@ -60,6 +65,7 @@ let main () = "-principal", Arg.Set principal, " Check principality of type inference"; "-rectypes", Arg.Set recursive_types, " Allow arbitrary recursive types"; "-unsafe", Arg.Set fast, " No bound checking on array and string access"; + "-version", Arg.Unit print_version, " Print version and exit"; "-w", Arg.String (Warnings.parse_options false), "<flags> Enable or disable warnings according to <flags>:\n\ \032 A/a enable/disable all warnings\n\ |