]> matita.cs.unibo.it Git - pkg-cerco/acc-trusted.git/blob - cparser/.depend
Control and copyright added.
[pkg-cerco/acc-trusted.git] / cparser / .depend
1 AddCasts.cmi: C.cmi 
2 Bitfields.cmi: C.cmi 
3 Builtins.cmi: Env.cmi C.cmi 
4 Ceval.cmi: Env.cmi C.cmi 
5 Cleanup.cmi: C.cmi 
6 C.cmi: 
7 Cprint.cmi: C.cmi 
8 Cutil.cmi: Env.cmi C.cmi 
9 Elab.cmi: C.cmi 
10 Env.cmi: C.cmi 
11 Errors.cmi: 
12 GCC.cmi: Builtins.cmi 
13 Lexer.cmi: Parser.cmi 
14 Machine.cmi: 
15 Parse_aux.cmi: 
16 Parse.cmi: C.cmi 
17 Parser.cmi: Cabs.cmo 
18 Rename.cmi: C.cmi 
19 SimplExpr.cmi: C.cmi 
20 StructAssign.cmi: C.cmi 
21 StructByValue.cmi: C.cmi 
22 Transform.cmi: Env.cmi C.cmi 
23 Unblock.cmi: C.cmi 
24 AddCasts.cmo: Transform.cmi Cutil.cmi C.cmi AddCasts.cmi 
25 AddCasts.cmx: Transform.cmx Cutil.cmx C.cmi AddCasts.cmi 
26 Bitfields.cmo: Transform.cmi Machine.cmi Cutil.cmi C.cmi Bitfields.cmi 
27 Bitfields.cmx: Transform.cmx Machine.cmx Cutil.cmx C.cmi Bitfields.cmi 
28 Builtins.cmo: Env.cmi Cutil.cmi C.cmi Builtins.cmi 
29 Builtins.cmx: Env.cmx Cutil.cmx C.cmi Builtins.cmi 
30 Cabshelper.cmo: Cabs.cmo 
31 Cabshelper.cmx: Cabs.cmx 
32 Cabs.cmo: 
33 Cabs.cmx: 
34 Ceval.cmo: Machine.cmi Cutil.cmi C.cmi Ceval.cmi 
35 Ceval.cmx: Machine.cmx Cutil.cmx C.cmi Ceval.cmi 
36 Cleanup.cmo: Cutil.cmi C.cmi Cleanup.cmi 
37 Cleanup.cmx: Cutil.cmx C.cmi Cleanup.cmi 
38 Cprint.cmo: C.cmi Cprint.cmi 
39 Cprint.cmx: C.cmi Cprint.cmi 
40 Cutil.cmo: Machine.cmi Errors.cmi Env.cmi Cprint.cmi C.cmi Cutil.cmi 
41 Cutil.cmx: Machine.cmx Errors.cmx Env.cmx Cprint.cmx C.cmi Cutil.cmi 
42 Elab.cmo: Parser.cmi Machine.cmi Lexer.cmi Errors.cmi Env.cmi Cutil.cmi \
43     Cprint.cmi Cleanup.cmi Ceval.cmi Cabshelper.cmo Cabs.cmo C.cmi \
44     Builtins.cmi Elab.cmi 
45 Elab.cmx: Parser.cmx Machine.cmx Lexer.cmx Errors.cmx Env.cmx Cutil.cmx \
46     Cprint.cmx Cleanup.cmx Ceval.cmx Cabshelper.cmx Cabs.cmx C.cmi \
47     Builtins.cmx Elab.cmi 
48 Env.cmo: C.cmi Env.cmi 
49 Env.cmx: C.cmi Env.cmi 
50 Errors.cmo: Errors.cmi 
51 Errors.cmx: Errors.cmi 
52 GCC.cmo: Cutil.cmi C.cmi Builtins.cmi GCC.cmi 
53 GCC.cmx: Cutil.cmx C.cmi Builtins.cmx GCC.cmi 
54 Lexer.cmo: Parser.cmi Parse_aux.cmi Cabshelper.cmo Lexer.cmi 
55 Lexer.cmx: Parser.cmx Parse_aux.cmx Cabshelper.cmx Lexer.cmi 
56 Machine.cmo: Machine.cmi 
57 Machine.cmx: Machine.cmi 
58 Main.cmo: Parse.cmi GCC.cmi Cprint.cmi Builtins.cmi 
59 Main.cmx: Parse.cmx GCC.cmx Cprint.cmx Builtins.cmx 
60 Parse_aux.cmo: Errors.cmi Cabshelper.cmo Parse_aux.cmi 
61 Parse_aux.cmx: Errors.cmx Cabshelper.cmx Parse_aux.cmi 
62 Parse.cmo: Unblock.cmi StructByValue.cmi StructAssign.cmi SimplExpr.cmi \
63     Rename.cmi Errors.cmi Elab.cmi Bitfields.cmi AddCasts.cmi Parse.cmi 
64 Parse.cmx: Unblock.cmx StructByValue.cmx StructAssign.cmx SimplExpr.cmx \
65     Rename.cmx Errors.cmx Elab.cmx Bitfields.cmx AddCasts.cmx Parse.cmi 
66 Parser.cmo: Parse_aux.cmi Cabshelper.cmo Cabs.cmo Parser.cmi 
67 Parser.cmx: Parse_aux.cmx Cabshelper.cmx Cabs.cmx Parser.cmi 
68 Rename.cmo: Errors.cmi Cutil.cmi C.cmi Builtins.cmi Rename.cmi 
69 Rename.cmx: Errors.cmx Cutil.cmx C.cmi Builtins.cmx Rename.cmi 
70 SimplExpr.cmo: Transform.cmi Errors.cmi Cutil.cmi C.cmi SimplExpr.cmi 
71 SimplExpr.cmx: Transform.cmx Errors.cmx Cutil.cmx C.cmi SimplExpr.cmi 
72 StructAssign.cmo: Transform.cmi Errors.cmi Env.cmi Cutil.cmi C.cmi \
73     StructAssign.cmi 
74 StructAssign.cmx: Transform.cmx Errors.cmx Env.cmx Cutil.cmx C.cmi \
75     StructAssign.cmi 
76 StructByValue.cmo: Transform.cmi Env.cmi Cutil.cmi C.cmi StructByValue.cmi 
77 StructByValue.cmx: Transform.cmx Env.cmx Cutil.cmx C.cmi StructByValue.cmi 
78 Transform.cmo: Env.cmi Cutil.cmi C.cmi Builtins.cmi Transform.cmi 
79 Transform.cmx: Env.cmx Cutil.cmx C.cmi Builtins.cmx Transform.cmi 
80 Unblock.cmo: Transform.cmi Errors.cmi Cutil.cmi C.cmi Unblock.cmi 
81 Unblock.cmx: Transform.cmx Errors.cmx Cutil.cmx C.cmi Unblock.cmi