Project

General

Profile

« Previous | Next » 

Revision 9603460e

Added by Xavier Thirioux almost 8 years ago

- corrected bug with destination directory (-d option)
- corrected several bugs in inlining
- STILL, BUGS REMAINING in inlined code !!??!!

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@328 041b043f-8d7c-46b2-b46e-ef0dd855326e

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