From 66a23e9e6f113f96b470392e9cf88826e2457f1d Mon Sep 17 00:00:00 2001 From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr> Date: Thu, 14 Mar 2019 16:17:02 +0100 Subject: [PATCH] Update: refactor -h outputs --- bin/sasArg.ml | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/bin/sasArg.ml b/bin/sasArg.ml index eb472371..cd4e6049 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)"]; -- GitLab