2 * Copyright 2010, INRIA, University of Copenhagen
3 * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
4 * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
5 * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
6 * This file is part of Coccinelle.
8 * Coccinelle is free software: you can redistribute it and/or modify
9 * it under the terms of the GNU General Public License as published by
10 * the Free Software Foundation, according to version 2 of the License.
12 * Coccinelle is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 * GNU General Public License for more details.
17 * You should have received a copy of the GNU General Public License
18 * along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
20 * The authors reserve the right to distribute this or future versions of
21 * Coccinelle under other licenses.
26 * Copyright 2010, INRIA, University of Copenhagen
27 * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
28 * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
29 * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
30 * This file is part of Coccinelle.
32 * Coccinelle is free software: you can redistribute it and/or modify
33 * it under the terms of the GNU General Public License as published by
34 * the Free Software Foundation, according to version 2 of the License.
36 * Coccinelle is distributed in the hope that it will be useful,
37 * but WITHOUT ANY WARRANTY; without even the implied warranty of
38 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
39 * GNU General Public License for more details.
41 * You should have received a copy of the GNU General Public License
42 * along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
44 * The authors reserve the right to distribute this or future versions of
45 * Coccinelle under other licenses.
51 (*****************************************************************************)
53 (*****************************************************************************)
55 let generate_dependencies dir
=
57 Common.glob
(Filename.concat dir
"*.[c]")
58 +> List.map
(fun file
->
59 let (x
,_
) = Parse_c.parse_cache file
in
60 let defined = C_info.defined_stuff x
in
61 let used = C_info.used_stuff x
in
62 let extra = C_info.extra_stuff x
in
63 C_info.adjust_used_only_external
used defined;
64 file
, { C_info.used = used; defined = defined; is_module
= extra}
66 let global = C_info.mk_global_definitions_index
c_info in
67 c_info +> List.iter
(fun (file
, used_defined
) ->
68 pr2
("HANDLING : " ^ file
);
69 C_info.print_entities used_defined
.C_info.used;
71 C_info.check_no_duplicate_global_definitions
global;
72 let g = C_info.build_graph
c_info global
73 (Filename.concat dir
"depgraph.dot") in
74 C_info.generate_makefile
g (Filename.concat dir
"depcocci.dep")
82 | [] -> "/home/pad/kernels/git/linux-2.6/drivers/net"
84 | _ -> failwith "too much path"
89 then Common.cmd_to_list ("find " ^ path ^ " -type d") +> Kbuild.adjust_dirs
92 dirs +> List.iter (fun dir ->
98 Sys.chdir "/home/pad/kernels/git/linux-2.6";
99 let path="drivers/net" in
102 Common.cmd_to_list ("find " ^ path ^ " -name \"*.c\" ")
103 +> List.map (fun file ->
104 let x = cprogram_of_file_cached file in
105 let defined = defined_stuff x in
106 let used = used_stuff x in
107 let extra = extra_stuff x in
108 adjust_used_only_external used defined;
109 file, { used = used; defined = defined; is_module = extra}
111 let global = mk_global_definitions_index c_info in
112 c_info +> List.iter (fun (file, used_defined) ->
113 pr2 ("HANDLING : " ^ file);
114 print_entities used_defined.used;
116 check_no_duplicate_global_definitions global
117 (*build_graph c_info global (Filename.concat dir "depgraph.dot");*)
121 (*****************************************************************************)
122 (* Main entry point *)
123 (*****************************************************************************)
131 "Usage: " ^ basename
Sys.argv
.(0) ^
132 " <dir> [options]" ^
"\n" ^
"Options are:"
135 Arg.parse
(Arg.align
options) (fun x -> args := x::!args) usage_msg;
136 args := List.rev
!args;
140 generate_dependencies x
141 | _
-> Arg.usage
(Arg.align
options) usage_msg;
145 (*****************************************************************************)