diff --git a/bin/sasArg.ml b/bin/sasArg.ml index eb4723710c6273d5fa7382e546abb4acf23abee6..cd4e60491e487abf465f566647389009463efab8 100644 --- a/bin/sasArg.ml +++ b/bin/sasArg.ml @@ -1,4 +1,4 @@ -(* Time-stamp: <modified the 14/03/2019 (at 13:36) by Erwan Jahier> *) +(* Time-stamp: <modified the 14/03/2019 (at 16:15) by Erwan Jahier> *) type t = { @@ -18,8 +18,8 @@ type t = { mutable _margin : int; } -let usage_msg = ("usage: " ^Sys.argv.(0) ^ " [<option>] [<topology>.dot file] -use --help to see the available options. +let usage_msg = ("usage: " ^Sys.argv.(0) ^ " [<option>]* <topology>.dot +use -h to see the available options. " ) let print_usage () = Printf.printf "%s\n" usage_msg; flush stdout @@ -91,29 +91,29 @@ let (mkoptab : t -> unit) = mkopt opt ["--central-demon";"-cd"] (Arg.Unit(fun () -> args.demon <- Demon.Central)) - ["Use a Central deamon (selects exactly one action)"]; + ["Use a Central deamon (which selects exactly one action)"]; mkopt opt ["--locally-central-demon";"-lcd"] (Arg.Unit(fun () -> args.demon <- Demon.LocallyCentral)) - ["Use a Locally Central deamon (never activates two neighbor"; + ["Use a Locally Central deamon (which never activates two neighbors"; "actions in the same step)"]; mkopt opt ["--distributed-demon";"-dd"] (Arg.Unit(fun () -> args.demon <- Demon.Distributed)) - ["Use a Distributed deamon (select at least one action)"]; + ["Use a Distributed deamon (which select at least one action)"]; mkopt opt ["--custom-demon";"-custd"] - (Arg.Unit(fun () -> args.demon <- Demon.Custom)) - ["Use a Custom deamon"]; + (Arg.Unit(fun () -> args.demon <- Demon.Custom;args.rif <- true)) + ["Use a Custom deamon (forces --rif)"]; mkopt opt ["--rif";"-rif"] (Arg.Unit(fun () -> args.rif <- true)) ["Follows RIF conventions"]; - mkopt opt ["--gen-lutin-demon";"-gld"] + mkopt opt ~hide:true ["--gen-lutin-demon";"-gld"] (Arg.Unit(fun () -> args.gen_lutin <- true)) ["Generate Lutin demons and exit"]; - mkopt opt ["--ignore-first-inputs"; "-ifi"] + mkopt opt ~hide:true ["--ignore-first-inputs"; "-ifi"] (Arg.Unit(fun () -> args.ifi <- true)) ["Ignore first inputs (necessary to use luciole via lurette/rdbg/luciole-rif)"];