Revision 58a463e7
Added by Pierre-Loïc Garoche over 7 years ago
| 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 (_, s, _) -> Format.fprintf fmt "%s.o" s))
|
|
| 161 |
(Utils.fprintf_list ~sep:" " (fun fmt (Dep (_, s, _, _)) -> Format.fprintf fmt "%s.o" s))
|
|
| 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
Added a construct for Dependencies (was a tuple before) and a boolean attribute stateful
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@380 041b043f-8d7c-46b2-b46e-ef0dd855326e