Project

General

Profile

Revision 9603460e src/options.ml

View differences:

src/options.ml
33 33

  
34 34
let options =
35 35
  [ "-d", Arg.Set_string dest_dir,
36
    "produces code in the specified directory (default: .)";
36
    "uses the specified directory as root for generated/imported object and C files (default: .)";
37 37
    "-node", Arg.Set_string main_node, "specifies the main node";
38 38
    "-init", Arg.Set delay_calculus, "performs an initialisation analysis for Lustre nodes <default: no analysis>";
39 39
    "-dynamic", Arg.Clear static_mem, "specifies a dynamic allocation scheme for main Lustre node <default: static>";

Also available in: Unified diff