Project

General

Profile

Revision 0bca9d53 src/backends/C/c_backend_makefile.ml

View differences:

src/backends/C/c_backend_makefile.ml
13 13
open LustreSpec
14 14
open Corelang
15 15

  
16
let pp_dep fmt (Dep(b,id,tops,stateful)) =
17
  Format.fprintf fmt "%b, %s, {%a}, %b"
18
    b id Printers.pp_prog tops stateful
19
  
20
let pp_deps fmt deps = Format.fprintf fmt "@[<v 0>%a@ @]" (Utils.fprintf_list ~sep:"@ ," pp_dep) deps
21

  
16 22
let header_has_code header =
17 23
  List.exists 
18 24
    (fun top -> 
......
39 45
    (fun accu (Dep (_, _, header, _)) -> Utils.list_union (header_libs header) accu) [] dep
40 46
    
41 47
let fprintf_dependencies fmt (dep: dep_t list) =
48
  (* Format.eprintf "Deps: %a@." pp_deps dep; *)
42 49
  let compiled_dep = compiled_dependencies dep in
43
  List.iter (fun s -> (* Format.eprintf "Adding dependency: %s@." s;  *)
50
  (* Format.eprintf "Compiled Deps: %a@." pp_deps compiled_dep; *)
51
 
52
  List.iter (fun s -> Format.eprintf "Adding dependency: %s@." s;  
44 53
    fprintf fmt "\t${GCC} -I${INC} -c %s@." s)
45 54
    (("${INC}/io_frontend.c"):: (* IO functions when a main function is computed *)
46 55
	(List.map 

Also available in: Unified diff