Project

General

Profile

Revision ef34b4ae src/backends/C/c_backend_spec.ml

View differences:

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 (_, 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