Revision 8e6cab20
Added by Pierre-Loïc Garoche about 5 years ago
| 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
Tuning the pretty printing of Salsa plugin