Commit | Line | Data |
---|---|---|
34e49164 C |
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 | |
ae4735db | 17 | val generate_kbuild_info_from_depcocci : |
34e49164 C |
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 | |
ae4735db | 26 | * passed in parameter |
34e49164 C |
27 | *) |
28 | val adjust_dirs : string list -> string list |