extra/kbuild.mli

   1 open Common
   2
   3 (* used my tools/meta_files *)
   4
   5
   6 (* correspond usually to a kernel_files.meta *)
   7 type kbuild_info = directory list
   8    and directory = Directory of string (*dirname*) * group list
   9    and group = Group of filename list
  10
  11 val unparse_kbuild_info : kbuild_info -> filename (*outfile*) -> unit
  12 val parse_kbuild_info : filename -> kbuild_info
  13
  14
  15 val generate_naive_kbuild_info : string list -> kbuild_info
  16 val generate_less_naive_kbuild_info : string list -> kbuild_info
  17 val generate_kbuild_info_from_depcocci :
  18   string list -> filename (*out*) -> unit
  19 val check_up_to_date : kbuild_info -> kbuild_info -> unit
  20
  21 (* get the relevant groups from dirs given a kbuild_info *)
  22 val files_in_dirs : string list (* dirs *) -> kbuild_info -> group list
  23
  24
  25 (* remove the .git directory, wrong include, from the list of directories
  26  * passed in parameter
  27  *)
  28 val adjust_dirs : string list -> string list