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