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