]> matita.cs.unibo.it Git - pkg-cerco/acc-trusted.git/blobdiff - cparser/.depend
Imported Upstream version 0.1
[pkg-cerco/acc-trusted.git] / cparser / .depend
diff --git a/cparser/.depend b/cparser/.depend
new file mode 100644 (file)
index 0000000..9f12718
--- /dev/null
@@ -0,0 +1,81 @@
+AddCasts.cmi: C.cmi 
+Bitfields.cmi: C.cmi 
+Builtins.cmi: Env.cmi C.cmi 
+Ceval.cmi: Env.cmi C.cmi 
+Cleanup.cmi: C.cmi 
+C.cmi: 
+Cprint.cmi: C.cmi 
+Cutil.cmi: Env.cmi C.cmi 
+Elab.cmi: C.cmi 
+Env.cmi: C.cmi 
+Errors.cmi: 
+GCC.cmi: Builtins.cmi 
+Lexer.cmi: Parser.cmi 
+Machine.cmi: 
+Parse_aux.cmi: 
+Parse.cmi: C.cmi 
+Parser.cmi: Cabs.cmo 
+Rename.cmi: C.cmi 
+SimplExpr.cmi: C.cmi 
+StructAssign.cmi: C.cmi 
+StructByValue.cmi: C.cmi 
+Transform.cmi: Env.cmi C.cmi 
+Unblock.cmi: C.cmi 
+AddCasts.cmo: Transform.cmi Cutil.cmi C.cmi AddCasts.cmi 
+AddCasts.cmx: Transform.cmx Cutil.cmx C.cmi AddCasts.cmi 
+Bitfields.cmo: Transform.cmi Machine.cmi Cutil.cmi C.cmi Bitfields.cmi 
+Bitfields.cmx: Transform.cmx Machine.cmx Cutil.cmx C.cmi Bitfields.cmi 
+Builtins.cmo: Env.cmi Cutil.cmi C.cmi Builtins.cmi 
+Builtins.cmx: Env.cmx Cutil.cmx C.cmi Builtins.cmi 
+Cabshelper.cmo: Cabs.cmo 
+Cabshelper.cmx: Cabs.cmx 
+Cabs.cmo: 
+Cabs.cmx: 
+Ceval.cmo: Machine.cmi Cutil.cmi C.cmi Ceval.cmi 
+Ceval.cmx: Machine.cmx Cutil.cmx C.cmi Ceval.cmi 
+Cleanup.cmo: Cutil.cmi C.cmi Cleanup.cmi 
+Cleanup.cmx: Cutil.cmx C.cmi Cleanup.cmi 
+Cprint.cmo: C.cmi Cprint.cmi 
+Cprint.cmx: C.cmi Cprint.cmi 
+Cutil.cmo: Machine.cmi Errors.cmi Env.cmi Cprint.cmi C.cmi Cutil.cmi 
+Cutil.cmx: Machine.cmx Errors.cmx Env.cmx Cprint.cmx C.cmi Cutil.cmi 
+Elab.cmo: Parser.cmi Machine.cmi Lexer.cmi Errors.cmi Env.cmi Cutil.cmi \
+    Cprint.cmi Cleanup.cmi Ceval.cmi Cabshelper.cmo Cabs.cmo C.cmi \
+    Builtins.cmi Elab.cmi 
+Elab.cmx: Parser.cmx Machine.cmx Lexer.cmx Errors.cmx Env.cmx Cutil.cmx \
+    Cprint.cmx Cleanup.cmx Ceval.cmx Cabshelper.cmx Cabs.cmx C.cmi \
+    Builtins.cmx Elab.cmi 
+Env.cmo: C.cmi Env.cmi 
+Env.cmx: C.cmi Env.cmi 
+Errors.cmo: Errors.cmi 
+Errors.cmx: Errors.cmi 
+GCC.cmo: Cutil.cmi C.cmi Builtins.cmi GCC.cmi 
+GCC.cmx: Cutil.cmx C.cmi Builtins.cmx GCC.cmi 
+Lexer.cmo: Parser.cmi Parse_aux.cmi Cabshelper.cmo Lexer.cmi 
+Lexer.cmx: Parser.cmx Parse_aux.cmx Cabshelper.cmx Lexer.cmi 
+Machine.cmo: Machine.cmi 
+Machine.cmx: Machine.cmi 
+Main.cmo: Parse.cmi GCC.cmi Cprint.cmi Builtins.cmi 
+Main.cmx: Parse.cmx GCC.cmx Cprint.cmx Builtins.cmx 
+Parse_aux.cmo: Errors.cmi Cabshelper.cmo Parse_aux.cmi 
+Parse_aux.cmx: Errors.cmx Cabshelper.cmx Parse_aux.cmi 
+Parse.cmo: Unblock.cmi StructByValue.cmi StructAssign.cmi SimplExpr.cmi \
+    Rename.cmi Errors.cmi Elab.cmi Bitfields.cmi AddCasts.cmi Parse.cmi 
+Parse.cmx: Unblock.cmx StructByValue.cmx StructAssign.cmx SimplExpr.cmx \
+    Rename.cmx Errors.cmx Elab.cmx Bitfields.cmx AddCasts.cmx Parse.cmi 
+Parser.cmo: Parse_aux.cmi Cabshelper.cmo Cabs.cmo Parser.cmi 
+Parser.cmx: Parse_aux.cmx Cabshelper.cmx Cabs.cmx Parser.cmi 
+Rename.cmo: Errors.cmi Cutil.cmi C.cmi Builtins.cmi Rename.cmi 
+Rename.cmx: Errors.cmx Cutil.cmx C.cmi Builtins.cmx Rename.cmi 
+SimplExpr.cmo: Transform.cmi Errors.cmi Cutil.cmi C.cmi SimplExpr.cmi 
+SimplExpr.cmx: Transform.cmx Errors.cmx Cutil.cmx C.cmi SimplExpr.cmi 
+StructAssign.cmo: Transform.cmi Errors.cmi Env.cmi Cutil.cmi C.cmi \
+    StructAssign.cmi 
+StructAssign.cmx: Transform.cmx Errors.cmx Env.cmx Cutil.cmx C.cmi \
+    StructAssign.cmi 
+StructByValue.cmo: Transform.cmi Env.cmi Cutil.cmi C.cmi StructByValue.cmi 
+StructByValue.cmx: Transform.cmx Env.cmx Cutil.cmx C.cmi StructByValue.cmi 
+Transform.cmo: Env.cmi Cutil.cmi C.cmi Builtins.cmi Transform.cmi 
+Transform.cmx: Env.cmx Cutil.cmx C.cmi Builtins.cmx Transform.cmi 
+Unblock.cmo: Transform.cmi Errors.cmi Cutil.cmi C.cmi Unblock.cmi 
+Unblock.cmx: Transform.cmx Errors.cmx Cutil.cmx C.cmi Unblock.cmi