Project

General

Profile

« Previous | Next » 

Revision 61df3cb9

Added by Pierre-Loïc Garoche about 4 years ago

Reformating plugin signatures. Better report management

View differences:

src/main_lustre_compiler.ml
120 120 
  end
121 121 

  		




  122
  122
  
    
let compile dirname basename extension =


  		




  
  123
  
    
  Plugins.init ();


  		




  123
  124
  
    
  match extension with


  		




  124
  125
  
    
  | ".lusi"  -> compile_header dirname basename extension


  		




  125
  126
  
    
  | ".lus"   -> compile_source dirname basename extension


  		












Also available in:  Unified diff