Project

General

Profile

« Previous | Next » 

Revision 58a463e7

Added by Pierre-Loïc Garoche over 7 years ago

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

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