Project

General

Profile

« Previous | Next » 

Revision fc36d0a0

Added by Xavier Thirioux over 1 year ago

added some cleaning about hash-tables used for typing, clocking, etc.

View differences:

src/backends/C/c_backend_makefile.ml
49 49
  let compiled_dep = compiled_dependencies dep in
50 50
  (* Format.eprintf "Compiled Deps: %a@." pp_deps compiled_dep; *)
51 51
 
52
  List.iter (fun s -> Log.report ~level:1 (fun fmt -> fprintf fmt "Adding dependency: %s@." s);  
52
  List.iter (fun s -> Log.report ~level:3 (fun fmt -> fprintf fmt "Adding dependency: %s@." s);  
53 53
    fprintf fmt "\t${GCC} -I${INC} -c %s@." s)
54 54
    (("${INC}/io_frontend.c"):: (* IO functions when a main function is computed *)
55 55
	(List.map 

Also available in: Unified diff