Project

General

Profile

Revision 5fccce23 src/backends/C/c_backend_mauve.ml

View differences:

src/backends/C/c_backend_mauve.ml
33 33 

  		




  34
  34
  
    
let print_mauve_header fmt mauve_machine basename prog machines _ (*dependencies*) =


  		




  35
  35
  
    
  fprintf fmt "#include \"mauve/runtime.hpp\"@.";


  		




  36
  
  
    
  print_import_alloc_prototype fmt (Dep (true, basename, [], true (* assuming it is stateful*) ));


  		




  
  36
  
    
  print_import_alloc_prototype fmt {local=true; name=basename; content=[]; is_stateful=true} (* assuming it is stateful*) ;


  		




  37
  37
  
    
  pp_print_newline fmt ();


  		




  38
  38
  
    
  pp_print_newline fmt ()


  		




  39
  39
  
    

  		












Also available in:  Unified diff