Project

General

Profile

Revision 8e6cab20 src/backends/C/c_backend_makefile.ml

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 -> Format.eprintf "Adding dependency: %s@." s;  
52
  List.iter (fun s -> Log.report ~level:1 (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