Commit | Line | Data |
---|---|---|
0708f913 C |
1 | asttoctl.cmi: ../ctl/wrapper_ctl.cmi lib_engine.cmo ../ctl/ast_ctl.cmo \ |
2 | ../parsing_cocci/ast_cocci.cmi | |
3 | asttoctl2.cmi: ../ctl/wrapper_ctl.cmi lib_engine.cmo ../ctl/ast_ctl.cmo \ | |
4 | ../parsing_cocci/ast_cocci.cmi | |
5 | asttomember.cmi: lib_engine.cmo ../ctl/ast_ctl.cmo \ | |
6 | ../parsing_cocci/ast_cocci.cmi | |
7 | c_vs_c.cmi: ../parsing_c/ast_c.cmo | |
8 | check_reachability.cmi: ../ctl/wrapper_ctl.cmi ../commons/ograph_extended.cmi \ | |
9 | ../parsing_c/control_flow_c.cmi ../ctl/ast_ctl.cmo | |
10 | cocci_vs_c.cmi: ../parsing_c/control_flow_c.cmi ../commons/common.cmi \ | |
11 | ../parsing_cocci/ast_cocci.cmi ../parsing_c/ast_c.cmo | |
12 | ctlcocci_integration.cmi: ../commons/ograph_extended.cmi lib_engine.cmo \ | |
13 | ../parsing_c/control_flow_c.cmi ../ctl/ast_ctl.cmo \ | |
14 | ../parsing_cocci/ast_cocci.cmi | |
15 | ctltotex.cmi: ../ctl/wrapper_ctl.cmi lib_engine.cmo ../ctl/ast_ctl.cmo \ | |
16 | ../parsing_cocci/ast_cocci.cmi | |
17 | pattern_c.cmi: lib_engine.cmo ../parsing_c/control_flow_c.cmi \ | |
18 | ../parsing_cocci/ast_cocci.cmi | |
19 | postprocess_transinfo.cmi: ../commons/ograph_extended.cmi lib_engine.cmo \ | |
20 | ../parsing_cocci/ast_cocci.cmi | |
21 | pretty_print_engine.cmi: lib_engine.cmo ../ctl/ast_ctl.cmo \ | |
22 | ../parsing_c/ast_c.cmo | |
23 | transformation_c.cmi: lib_engine.cmo ../parsing_c/control_flow_c.cmi | |
24 | asttoctl.cmo: ../ctl/wrapper_ctl.cmi ../parsing_cocci/visitor_ast.cmi \ | |
25 | ../parsing_cocci/unify_ast.cmi pretty_print_engine.cmi lib_engine.cmo \ | |
26 | ../parsing_cocci/free_vars.cmi ../commons/common.cmi ../ctl/ast_ctl.cmo \ | |
27 | ../parsing_cocci/ast_cocci.cmi asttoctl.cmi | |
28 | asttoctl.cmx: ../ctl/wrapper_ctl.cmx ../parsing_cocci/visitor_ast.cmx \ | |
29 | ../parsing_cocci/unify_ast.cmx pretty_print_engine.cmx lib_engine.cmx \ | |
30 | ../parsing_cocci/free_vars.cmx ../commons/common.cmx ../ctl/ast_ctl.cmx \ | |
31 | ../parsing_cocci/ast_cocci.cmx asttoctl.cmi | |
32 | asttoctl2.cmo: ../ctl/wrapper_ctl.cmi ../parsing_cocci/visitor_ast.cmi \ | |
33 | ../parsing_cocci/unify_ast.cmi ../parsing_cocci/type_cocci.cmi \ | |
34 | pretty_print_engine.cmi ../ctl/pretty_print_ctl.cmi \ | |
35 | ../parsing_cocci/pretty_print_cocci.cmi lib_engine.cmo flag_matcher.cmo \ | |
36 | ../globals/flag.cmo ../commons/common.cmi ../ctl/ast_ctl.cmo \ | |
37 | ../parsing_cocci/ast_cocci.cmi asttoctl2.cmi | |
38 | asttoctl2.cmx: ../ctl/wrapper_ctl.cmx ../parsing_cocci/visitor_ast.cmx \ | |
39 | ../parsing_cocci/unify_ast.cmx ../parsing_cocci/type_cocci.cmx \ | |
40 | pretty_print_engine.cmx ../ctl/pretty_print_ctl.cmx \ | |
41 | ../parsing_cocci/pretty_print_cocci.cmx lib_engine.cmx flag_matcher.cmx \ | |
42 | ../globals/flag.cmx ../commons/common.cmx ../ctl/ast_ctl.cmx \ | |
43 | ../parsing_cocci/ast_cocci.cmx asttoctl2.cmi | |
44 | asttomember.cmo: ../parsing_cocci/visitor_ast.cmi \ | |
45 | ../parsing_cocci/pretty_print_cocci.cmi lib_engine.cmo \ | |
46 | ../commons/common.cmi ../ctl/ast_ctl.cmo ../parsing_cocci/ast_cocci.cmi \ | |
47 | asttomember.cmi | |
48 | asttomember.cmx: ../parsing_cocci/visitor_ast.cmx \ | |
49 | ../parsing_cocci/pretty_print_cocci.cmx lib_engine.cmx \ | |
50 | ../commons/common.cmx ../ctl/ast_ctl.cmx ../parsing_cocci/ast_cocci.cmx \ | |
51 | asttomember.cmi | |
52 | c_vs_c.cmo: ../parsing_c/lib_parsing_c.cmo ../commons/common.cmi \ | |
53 | ../parsing_c/ast_c.cmo c_vs_c.cmi | |
54 | c_vs_c.cmx: ../parsing_c/lib_parsing_c.cmx ../commons/common.cmx \ | |
55 | ../parsing_c/ast_c.cmx c_vs_c.cmi | |
56 | check_exhaustive_pattern.cmo: ../parsing_c/control_flow_c.cmi \ | |
57 | ../parsing_cocci/ast_cocci.cmi ../parsing_c/ast_c.cmo | |
58 | check_exhaustive_pattern.cmx: ../parsing_c/control_flow_c.cmx \ | |
59 | ../parsing_cocci/ast_cocci.cmx ../parsing_c/ast_c.cmx | |
60 | check_reachability.cmo: ../ctl/wrapper_ctl.cmi ../commons/ograph_extended.cmi \ | |
61 | ../ctl/flag_ctl.cmo ../ctl/ctl_engine.cmi ../parsing_c/control_flow_c.cmi \ | |
62 | ../ctl/ast_ctl.cmo check_reachability.cmi | |
63 | check_reachability.cmx: ../ctl/wrapper_ctl.cmx ../commons/ograph_extended.cmx \ | |
64 | ../ctl/flag_ctl.cmx ../ctl/ctl_engine.cmx ../parsing_c/control_flow_c.cmx \ | |
65 | ../ctl/ast_ctl.cmx check_reachability.cmi | |
66 | cocci_vs_c.cmo: ../parsing_cocci/type_cocci.cmi \ | |
67 | ../parsing_c/lib_parsing_c.cmo flag_matcher.cmo \ | |
68 | ../parsing_c/control_flow_c.cmi ../commons/common.cmi c_vs_c.cmi \ | |
69 | ../parsing_cocci/ast_cocci.cmi ../parsing_c/ast_c.cmo cocci_vs_c.cmi | |
70 | cocci_vs_c.cmx: ../parsing_cocci/type_cocci.cmx \ | |
71 | ../parsing_c/lib_parsing_c.cmx flag_matcher.cmx \ | |
72 | ../parsing_c/control_flow_c.cmx ../commons/common.cmx c_vs_c.cmx \ | |
73 | ../parsing_cocci/ast_cocci.cmx ../parsing_c/ast_c.cmx cocci_vs_c.cmi | |
74 | ctlcocci_integration.cmo: ../ctl/wrapper_ctl.cmi pretty_print_engine.cmi \ | |
75 | ../parsing_cocci/pretty_print_cocci.cmi postprocess_transinfo.cmi \ | |
76 | pattern_c.cmi ../commons/ograph_extended.cmi lib_engine.cmo \ | |
77 | ../parsing_cocci/flag_parsing_cocci.cmo flag_matcher.cmo \ | |
78 | ../globals/flag.cmo ../parsing_c/control_flow_c.cmi ../commons/common.cmi \ | |
79 | check_reachability.cmi c_vs_c.cmi ../ctl/ast_ctl.cmo \ | |
80 | ../parsing_cocci/ast_cocci.cmi ../parsing_c/ast_c.cmo \ | |
81 | ctlcocci_integration.cmi | |
82 | ctlcocci_integration.cmx: ../ctl/wrapper_ctl.cmx pretty_print_engine.cmx \ | |
83 | ../parsing_cocci/pretty_print_cocci.cmx postprocess_transinfo.cmx \ | |
84 | pattern_c.cmx ../commons/ograph_extended.cmx lib_engine.cmx \ | |
85 | ../parsing_cocci/flag_parsing_cocci.cmx flag_matcher.cmx \ | |
86 | ../globals/flag.cmx ../parsing_c/control_flow_c.cmx ../commons/common.cmx \ | |
87 | check_reachability.cmx c_vs_c.cmx ../ctl/ast_ctl.cmx \ | |
88 | ../parsing_cocci/ast_cocci.cmx ../parsing_c/ast_c.cmx \ | |
89 | ctlcocci_integration.cmi | |
90 | ctltotex.cmo: ../parsing_cocci/pretty_print_cocci.cmi lib_engine.cmo \ | |
91 | ../ctl/ast_ctl.cmo ctltotex.cmi | |
92 | ctltotex.cmx: ../parsing_cocci/pretty_print_cocci.cmx lib_engine.cmx \ | |
93 | ../ctl/ast_ctl.cmx ctltotex.cmi | |
94 | isomorphisms_c_c.cmo: ../commons/common.cmi ../parsing_c/ast_c.cmo | |
95 | isomorphisms_c_c.cmx: ../commons/common.cmx ../parsing_c/ast_c.cmx | |
96 | lib_engine.cmo: ../ctl/wrapper_ctl.cmi ../commons/ograph_extended.cmi \ | |
97 | ../parsing_c/control_flow_c.cmi ../commons/common.cmi ../ctl/ast_ctl.cmo \ | |
98 | ../parsing_cocci/ast_cocci.cmi ../parsing_c/ast_c.cmo | |
99 | lib_engine.cmx: ../ctl/wrapper_ctl.cmx ../commons/ograph_extended.cmx \ | |
100 | ../parsing_c/control_flow_c.cmx ../commons/common.cmx ../ctl/ast_ctl.cmx \ | |
101 | ../parsing_cocci/ast_cocci.cmx ../parsing_c/ast_c.cmx | |
102 | lib_matcher_c.cmo: lib_matcher_c.cmi | |
103 | lib_matcher_c.cmx: lib_matcher_c.cmi | |
104 | main.cmo: ../parsing_cocci/parse_cocci.cmi ctltotex.cmi asttoctl.cmi | |
105 | main.cmx: ../parsing_cocci/parse_cocci.cmx ctltotex.cmx asttoctl.cmx | |
106 | pattern_c.cmo: ../parsing_c/visitor_c.cmi ../parsing_c/lib_parsing_c.cmo \ | |
107 | lib_engine.cmo flag_matcher.cmo ../commons/common.cmi cocci_vs_c.cmi \ | |
108 | ../parsing_cocci/ast_cocci.cmi ../parsing_c/ast_c.cmo pattern_c.cmi | |
109 | pattern_c.cmx: ../parsing_c/visitor_c.cmx ../parsing_c/lib_parsing_c.cmx \ | |
110 | lib_engine.cmx flag_matcher.cmx ../commons/common.cmx cocci_vs_c.cmx \ | |
111 | ../parsing_cocci/ast_cocci.cmx ../parsing_c/ast_c.cmx pattern_c.cmi | |
112 | postprocess_transinfo.cmo: ../parsing_c/parser_c.cmi ../parsing_c/parse_c.cmi \ | |
113 | lib_engine.cmo ../commons/common.cmi ../parsing_cocci/ast_cocci.cmi \ | |
114 | ../parsing_c/ast_c.cmo postprocess_transinfo.cmi | |
115 | postprocess_transinfo.cmx: ../parsing_c/parser_c.cmx ../parsing_c/parse_c.cmx \ | |
116 | lib_engine.cmx ../commons/common.cmx ../parsing_cocci/ast_cocci.cmx \ | |
117 | ../parsing_c/ast_c.cmx postprocess_transinfo.cmi | |
118 | pretty_print_engine.cmo: ../ctl/pretty_print_ctl.cmi \ | |
119 | ../parsing_cocci/pretty_print_cocci.cmi ../parsing_c/pretty_print_c.cmi \ | |
120 | lib_engine.cmo ../commons/common.cmi ../ctl/ast_ctl.cmo \ | |
121 | ../parsing_cocci/ast_cocci.cmi ../parsing_c/ast_c.cmo \ | |
122 | pretty_print_engine.cmi | |
123 | pretty_print_engine.cmx: ../ctl/pretty_print_ctl.cmx \ | |
124 | ../parsing_cocci/pretty_print_cocci.cmx ../parsing_c/pretty_print_c.cmx \ | |
125 | lib_engine.cmx ../commons/common.cmx ../ctl/ast_ctl.cmx \ | |
126 | ../parsing_cocci/ast_cocci.cmx ../parsing_c/ast_c.cmx \ | |
127 | pretty_print_engine.cmi | |
128 | sgrep.cmo: ../parsing_cocci/ast_cocci.cmi ../parsing_c/ast_c.cmo | |
129 | sgrep.cmx: ../parsing_cocci/ast_cocci.cmx ../parsing_c/ast_c.cmx | |
130 | transformation_c.cmo: ../parsing_c/visitor_c.cmi \ | |
131 | ../parsing_cocci/type_cocci.cmi ../parsing_c/lib_parsing_c.cmo \ | |
132 | lib_engine.cmo flag_matcher.cmo ../globals/flag.cmo \ | |
133 | ../parsing_c/control_flow_c.cmi ../commons/common.cmi cocci_vs_c.cmi \ | |
134 | ../parsing_cocci/ast_cocci.cmi ../parsing_c/ast_c.cmo \ | |
faf9a90c | 135 | transformation_c.cmi |
0708f913 C |
136 | transformation_c.cmx: ../parsing_c/visitor_c.cmx \ |
137 | ../parsing_cocci/type_cocci.cmx ../parsing_c/lib_parsing_c.cmx \ | |
138 | lib_engine.cmx flag_matcher.cmx ../globals/flag.cmx \ | |
139 | ../parsing_c/control_flow_c.cmx ../commons/common.cmx cocci_vs_c.cmx \ | |
140 | ../parsing_cocci/ast_cocci.cmx ../parsing_c/ast_c.cmx \ | |
faf9a90c | 141 | transformation_c.cmi |