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