Bitfields.cmi: C.cmi Builtins.cmi: Env.cmi C.cmi C.cmi: Cerrors.cmi: Ceval.cmi: Env.cmi C.cmi Cleanup.cmi: C.cmi Cprint.cmi: C.cmi Cutil.cmi: Env.cmi C.cmi Elab.cmi: C.cmi Env.cmi: C.cmi GCC.cmi: Builtins.cmi Lexer.cmi: Parser.cmi Longlong.cmi: C.cmi Machine.cmi: PackedStructs.cmi: C.cmi Parse.cmi: C.cmi Parse_aux.cmi: Parser.cmi: Cabs.cmo Rename.cmi: C.cmi StructReturn.cmi: C.cmi Transform.cmi: Env.cmi C.cmi Unblock.cmi: C.cmi Bitfields.cmo: Transform.cmi Machine.cmi Env.cmi Cutil.cmi Cerrors.cmi C.cmi \ Bitfields.cmi Bitfields.cmx: Transform.cmx Machine.cmx Env.cmx Cutil.cmx Cerrors.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 Cabs.cmo: Cabs.cmx: Cabshelper.cmo: Cabs.cmo Cabshelper.cmx: Cabs.cmx Cerrors.cmo: Cerrors.cmi Cerrors.cmx: Cerrors.cmi 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 Env.cmi Cprint.cmi Cerrors.cmi C.cmi Cutil.cmi Cutil.cmx: Machine.cmx Env.cmx Cprint.cmx Cerrors.cmx C.cmi Cutil.cmi Elab.cmo: Parser.cmi Machine.cmi Lexer.cmi Env.cmi Cutil.cmi Cprint.cmi \ Cleanup.cmi Ceval.cmi Cerrors.cmi Cabshelper.cmo Cabs.cmo C.cmi \ Builtins.cmi Elab.cmi Elab.cmx: Parser.cmx Machine.cmx Lexer.cmx Env.cmx Cutil.cmx Cprint.cmx \ Cleanup.cmx Ceval.cmx Cerrors.cmx Cabshelper.cmx Cabs.cmx C.cmi \ Builtins.cmx Elab.cmi Env.cmo: C.cmi Env.cmi Env.cmx: C.cmi Env.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 Cabs.cmo Lexer.cmi Lexer.cmx: Parser.cmx Parse_aux.cmx Cabshelper.cmx Cabs.cmx Lexer.cmi Longlong.cmo: Transform.cmi Env.cmi Cutil.cmi Cerrors.cmi C.cmi Longlong.cmi Longlong.cmx: Transform.cmx Env.cmx Cutil.cmx Cerrors.cmx C.cmi Longlong.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 PackedStructs.cmo: Transform.cmi Machine.cmi Env.cmi Cutil.cmi Cprint.cmi \ Cerrors.cmi C.cmi Builtins.cmi PackedStructs.cmi PackedStructs.cmx: Transform.cmx Machine.cmx Env.cmx Cutil.cmx Cprint.cmx \ Cerrors.cmx C.cmi Builtins.cmx PackedStructs.cmi Parse.cmo: Unblock.cmi StructReturn.cmi Rename.cmi PackedStructs.cmi Elab.cmi \ Cerrors.cmi Bitfields.cmi Parse.cmi Parse.cmx: Unblock.cmx StructReturn.cmx Rename.cmx PackedStructs.cmx Elab.cmx \ Cerrors.cmx Bitfields.cmx Parse.cmi Parse_aux.cmo: Cerrors.cmi Cabshelper.cmo Parse_aux.cmi Parse_aux.cmx: Cerrors.cmx Cabshelper.cmx Parse_aux.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: Cutil.cmi Cerrors.cmi C.cmi Builtins.cmi Rename.cmi Rename.cmx: Cutil.cmx Cerrors.cmx C.cmi Builtins.cmx Rename.cmi StructReturn.cmo: Transform.cmi Env.cmi Cutil.cmi C.cmi StructReturn.cmi StructReturn.cmx: Transform.cmx Env.cmx Cutil.cmx C.cmi StructReturn.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 Cutil.cmi Cerrors.cmi C.cmi Unblock.cmi Unblock.cmx: Transform.cmx Cutil.cmx Cerrors.cmx C.cmi Unblock.cmi