Revision 5fccce23 src/backends/C/c_backend_spec.ml
src/backends/C/c_backend_spec.ml | ||
---|---|---|
158 | 158 |
C_backend_makefile.fprintf_dependencies fmt dependencies; |
159 | 159 |
fprintf fmt "\t${GCC} -Wno-attributes -o %s_main_eacsl io_frontend.o %a %s %s_main_eacsl.o %a@." |
160 | 160 |
basename |
161 |
(Utils.fprintf_list ~sep:" " (fun fmt (Dep (_, s, _, _)) -> Format.fprintf fmt "%s.o" s))
|
|
161 |
(Utils.fprintf_list ~sep:" " (fun fmt dep -> Format.fprintf fmt "%s.o" dep.name))
|
|
162 | 162 |
(C_backend_makefile.compiled_dependencies dependencies) |
163 | 163 |
("${FRAMACEACSL}/e_acsl.c " |
164 | 164 |
^ "${FRAMACEACSL}/memory_model/e_acsl_bittree.c " |
Also available in: Unified diff