Project

General

Profile

Revision 70e1006b src/backends/C/c_backend_makefile.ml

View differences:

src/backends/C/c_backend_makefile.ml
17 17
  List.exists 
18 18
    (fun top -> 
19 19
      match top.top_decl_desc with
20
      | Consts _ -> true 
20
      | Const _ -> true 
21 21
      | ImportedNode nd -> nd.nodei_in_lib = None
22 22
      | _ -> false
23 23
    )
......
46 46
    fprintf fmt "\t${GCC} -I${INC} -c %s@." s)
47 47
    (("${INC}/io_frontend.c"):: (* IO functions when a main function is computed *)
48 48
	(List.map 
49
	   (fun (s, local, _) -> 
49
	   (fun (local, s, _) -> 
50 50
	     (if local then s else Version.prefix ^ "/include/lustrec/" ^ s) ^ ".c")
51 51
	   compiled_dep))
52 52

  
53 53
module type MODIFIERS_MKF =
54 54
sig
55
  val other_targets: Format.formatter -> string -> string -> (string * bool * top_decl list) list -> unit
55
  val other_targets: Format.formatter -> string -> string -> (bool * string * top_decl list) list -> unit
56 56
end
57 57

  
58 58
module EmptyMod =
......
77 77
  fprintf fmt "\t${GCC} -I${INC} -I. -c %s_main.c@." basename;   
78 78
  fprintf_dependencies fmt dependencies;    
79 79
  fprintf fmt "\t${GCC} -o %s_%s io_frontend.o %a %s.o %s_main.o %a@." basename nodename 
80
    (Utils.fprintf_list ~sep:" " (fun fmt (s, _, _) -> Format.fprintf fmt "%s.o" s)) (compiled_dependencies dependencies)
80
    (Utils.fprintf_list ~sep:" " (fun fmt (_, s, _) -> Format.fprintf fmt "%s.o" s)) (compiled_dependencies dependencies)
81 81
    basename (* library .o *)
82 82
    basename (* main function . o *) 
83 83
    (Utils.fprintf_list ~sep:" " (fun fmt lib -> fprintf fmt "-l%s" lib)) (lib_dependencies dependencies)

Also available in: Unified diff