Project

General

Profile

Revision 53206908 src/backends/C/c_backend_makefile.ml

View differences:

src/backends/C/c_backend_makefile.ml
18 18 
    (fun top ->
19 19 
      match top.top_decl_desc with
20 20 
      | Const _ -> true
21 
      | ImportedNode nd -> nd.nodei_in_lib = None
21 
      | ImportedNode nd -> nd.nodei_in_lib = []
22 22 
      | _ -> false
23 23 
    )
24 24 
    header
......
26 26 
let header_libs header =
27 27 
  List.fold_left (fun accu top ->
28 28 
    match top.top_decl_desc with
29 
      | ImportedNode nd -> (match nd.nodei_in_lib with
30 
	| None -> accu
31 
	| Some lib -> Utils.list_union [lib] accu)
29 
      | ImportedNode nd -> Utils.list_union nd.nodei_in_lib accu
32 30 
      | _ -> accu
33 31 
  ) [] header
34 32
......
87 85 
 fprintf fmt "clean:@.";
88 86 
 fprintf fmt "\t\\rm -f *.o %s_%s@." basename nodename;
89 87 
 fprintf fmt "@.";
88 
 fprintf fmt ".PHONY: %s_%s@." basename nodename;
89 
 fprintf fmt "@.";
90 90 
 Mod.other_targets fmt basename nodename dependencies;
91 91 
 fprintf fmt "@.";
92 92 

  		












Also available in:  Unified diff