tools/generate_dependencies.ml

   1 (*
   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.
   7  *
   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.
  11  *
  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.
  16  *
  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/>.
  19  *
  20  * The authors reserve the right to distribute this or future versions of
  21  * Coccinelle under other licenses.
  22  *)
  23
  24
  25 open Common
  26
  27 (*****************************************************************************)
  28 (* Flags *)
  29 (*****************************************************************************)
  30
  31 let generate_dependencies dir =
  32   let c_info =
  33     Common.glob (Filename.concat dir "*.[c]")
  34     +> List.map (fun file ->
  35       let (x,_) = Parse_c.parse_cache file in
  36       let defined = C_info.defined_stuff x in
  37       let used = C_info.used_stuff x in
  38       let extra = C_info.extra_stuff x in
  39       C_info.adjust_used_only_external used defined;
  40       file, { C_info.used = used; defined = defined; is_module = extra}
  41     ) in
  42   let global = C_info.mk_global_definitions_index c_info in
  43   c_info +> List.iter (fun (file, used_defined) ->
  44     pr2 ("HANDLING : " ^ file);
  45     C_info.print_entities used_defined.C_info.used;
  46   );
  47   C_info.check_no_duplicate_global_definitions global;
  48   let g = C_info.build_graph c_info global
  49     (Filename.concat dir "depgraph.dot") in
  50   C_info.generate_makefile g (Filename.concat dir "depcocci.dep")
  51
  52
  53
  54
  55 (*
  56   let path =
  57     match xs with
  58     | [] -> "/home/pad/kernels/git/linux-2.6/drivers/net"
  59     | [x] -> x
  60     | _ -> failwith "too much path"
  61   in
  62
  63   let dirs =
  64     if dir
  65     then Common.cmd_to_list ("find " ^ path ^ " -type d") +> Kbuild.adjust_dirs
  66     else [path]
  67   in
  68   dirs +> List.iter (fun dir ->
  69 *)
  70
  71
  72 (*
  73 let test_yyy () =
  74   Sys.chdir "/home/pad/kernels/git/linux-2.6";
  75   let path="drivers/net" in
  76
  77   let c_info =
  78     Common.cmd_to_list ("find " ^ path ^ " -name \"*.c\" ")
  79     +> List.map (fun file ->
  80       let x = cprogram_of_file_cached file in
  81       let defined = defined_stuff x in
  82       let used = used_stuff x in
  83       let extra = extra_stuff x in
  84       adjust_used_only_external used defined;
  85       file, { used = used; defined = defined; is_module = extra}
  86     ) in
  87   let global = mk_global_definitions_index c_info in
  88   c_info +> List.iter (fun (file, used_defined) ->
  89     pr2 ("HANDLING : " ^ file);
  90     print_entities used_defined.used;
  91   );
  92   check_no_duplicate_global_definitions global
  93     (*build_graph c_info global (Filename.concat dir "depgraph.dot");*)
  94 *)
  95
  96
  97 (*****************************************************************************)
  98 (* Main entry point *)
  99 (*****************************************************************************)
 100
 101 let main () =
 102   begin
 103     let args = ref [] in
 104     let options = [
 105     ] in
 106     let usage_msg =
 107       "Usage: " ^ basename Sys.argv.(0) ^
 108         " <dir> [options]" ^ "\n" ^ "Options are:"
 109     in
 110
 111     Arg.parse (Arg.align options) (fun x -> args := x::!args) usage_msg;
 112     args := List.rev !args;
 113
 114     (match (!args) with
 115     | [x] ->
 116         generate_dependencies x
 117     | _ -> Arg.usage (Arg.align options) usage_msg;
 118     )
 119   end
 120
 121 (*****************************************************************************)
 122 let _ =
 123   main ()
 124