Project

General

Profile

« Previous | Next » 

Revision e6492c59

Added by Guillaume DAVY almost 5 years ago

Ada: Change some loggging feature

View differences:

src/backends/Ada/ada_backend.ml
23 23 
let log_str_level_two indent info =
24 24 
  let str_indent = String.make (indent*indent_size) ' ' in
25 25 
  let pp_message fmt = fprintf fmt "%s.. %s@." str_indent info in
26 
  Log.report ~level:2 pp_message
26 
  Log.report ~level:2 pp_message;
27 
  Format.pp_print_flush Format.err_formatter ()
27 28 

  		




  28
  29
  
    
(** Write a new file with formatter


  		




  29
  30
  
    
   @param destname folder where the file shoudl be created


  		




  ......




  35
  36
  
    
  let path = asprintf "%s%a" destname pp_filename arg in


  		




  36
  37
  
    
  let out = open_out path in


  		




  37
  38
  
    
  let fmt = formatter_of_out_channel out in


  		




  
  39
  
    
  log_str_level_two 2 ("generating "^path);


  		




  38
  40
  
    
  pp_file fmt arg;


  		




  39
  41
  
    
  pp_print_flush fmt ();


  		




  40
  
  
    
  close_out out;


  		




  41
  
  
    
  log_str_level_two 2 (path^" generated")


  		




  
  42
  
    
  close_out out


  		




  42
  43
  
    

  		




  43
  44
  
    

  		




  44
  45
  
    
(** Print the filename of a machine package.


  		












Also available in:  Unified diff