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 /debugger/main.ml | |
| parent | a66d963bf79c980bd081eed7c4aee637a58d1413 (diff) | |
| download | ocaml-39f06c597a614b9cf8f6ff6ff677cced1d76dae5.tar.gz | |
PR#3085 ajout option "-version"
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6701 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'debugger/main.ml')
| -rw-r--r-- | debugger/main.ml | 23 |
1 files changed, 14 insertions, 9 deletions
diff --git a/debugger/main.ml b/debugger/main.ml index 1232c95494..76426c6ec6 100644 --- a/debugger/main.ml +++ b/debugger/main.ml @@ -89,20 +89,25 @@ let set_checkpoints n = checkpoint_max_count := n let set_directory dir = Sys.chdir dir -let set_emacs () = - emacs := true +let print_version () = + printf "The Objective Caml debugger, version %s@." Sys.ocaml_version; + exit 0; +;; -let speclist = - ["-I", Arg.String add_include, - "<dir> Add <dir> to the list of include directories"; - "-s", Arg.String set_socket, - "<filename> Set the name of the communication socket"; +let speclist = [ "-c", Arg.Int set_checkpoints, "<count> Set max number of checkpoints kept"; "-cd", Arg.String set_directory, "<dir> Change working directory"; - "-emacs", Arg.Unit set_emacs, - "For running the debugger under emacs"] + "-emacs", Arg.Set emacs, + "For running the debugger under emacs"; + "-I", Arg.String add_include, + "<dir> Add <dir> to the list of include directories"; + "-s", Arg.String set_socket, + "<filename> Set the name of the communication socket"; + "-version", Arg.Unit print_version, + " Print version and exit"; + ] let main () = try |