Project

General

Profile

« Previous | Next » 

Revision 217837e2

Added by Pierre-Loïc Garoche over 6 years ago

Unified compilation of lusi and lus files
Different parsers yet but shared process.
In case of lusi input the C backend is bypassed since the .h is generated from the lusic and no C code should be generated since it may overwrite existing manually written code

But

View differences:

src/tools/stateflow/sf_sem.ml
82 82 
     Format.fprintf auto_fmt "%a@." Printers.pp_prog prog;
83 83 

  		




  84
  84
  
    
     let params = Backends.get_normalization_params () in


  		




  85
  
  
    
     let prog, deps = Compiler_stages.stage1 params prog "" "" in


  		




  
  85
  
    
     let prog, deps = Compiler_stages.stage1 params prog "" "" ".lus" in


  		




  86
  86
  
    

  		




  87
  87
  
    

  		




  88
  88
  
    
     Options.print_dec_types := false;


  		












Also available in:  Unified diff