From bd93aa7ef9c19a4def8aa64c32faeb04ab2607e9 Mon Sep 17 00:00:00 2001 From: xleroy Date: Sat, 3 Nov 2012 10:18:41 +0000 Subject: Update cparser/Makefile (fix by Jacques-Henri Jourdan) git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2064 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- cparser/.depend | 54 +++++++++++++++++++++++++++--------------------------- cparser/Makefile | 2 +- 2 files changed, 28 insertions(+), 28 deletions(-) (limited to 'cparser') diff --git a/cparser/.depend b/cparser/.depend index 4a7f538..63cd2cb 100644 --- a/cparser/.depend +++ b/cparser/.depend @@ -1,18 +1,18 @@ Bitfields.cmi: C.cmi Builtins.cmi: Env.cmi C.cmi -C.cmi: +Cerrors.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.cmi: C.cmi Parse_aux.cmi: +Parse.cmi: C.cmi Parser.cmi: Cabs.cmo Rename.cmi: C.cmi StructReturn.cmi: C.cmi @@ -22,28 +22,28 @@ 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 -Cabs.cmo: -Cabs.cmx: Cabshelper.cmo: Cabs.cmo Cabshelper.cmx: Cabs.cmx +Cabs.cmo: +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 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 \ +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 Errors.cmx Env.cmx Cutil.cmx \ - Cprint.cmx Cleanup.cmx Ceval.cmx Cabshelper.cmx Cabs.cmx C.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 -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 @@ -52,23 +52,23 @@ 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 Errors.cmi Env.cmi Cutil.cmi \ - Cprint.cmi C.cmi Builtins.cmi -PackedStructs.cmx: Transform.cmx Machine.cmx Errors.cmx Env.cmx Cutil.cmx \ - Cprint.cmx C.cmi Builtins.cmx -Parse.cmo: Unblock.cmi StructReturn.cmi Rename.cmi PackedStructs.cmo \ - Errors.cmi Elab.cmi Bitfields.cmi Parse.cmi -Parse.cmx: Unblock.cmx StructReturn.cmx Rename.cmx PackedStructs.cmx \ - Errors.cmx Elab.cmx Bitfields.cmx Parse.cmi -Parse_aux.cmo: Errors.cmi Cabshelper.cmo Parse_aux.cmi -Parse_aux.cmx: Errors.cmx Cabshelper.cmx Parse_aux.cmi +PackedStructs.cmo: Transform.cmi Machine.cmi Env.cmi Cutil.cmi Cprint.cmi \ + Cerrors.cmi C.cmi Builtins.cmi +PackedStructs.cmx: Transform.cmx Machine.cmx Env.cmx Cutil.cmx Cprint.cmx \ + Cerrors.cmx C.cmi Builtins.cmx +Parse_aux.cmo: Cerrors.cmi Cabshelper.cmo Parse_aux.cmi +Parse_aux.cmx: Cerrors.cmx Cabshelper.cmx Parse_aux.cmi +Parse.cmo: Unblock.cmi StructReturn.cmi Rename.cmi PackedStructs.cmo 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 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 +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 Errors.cmi Cutil.cmi C.cmi Unblock.cmi -Unblock.cmx: Transform.cmx Errors.cmx Cutil.cmx C.cmi Unblock.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 diff --git a/cparser/Makefile b/cparser/Makefile index da2c28b..3a73ca7 100644 --- a/cparser/Makefile +++ b/cparser/Makefile @@ -9,7 +9,7 @@ LIBDIR=`$(OCAMLC) -where`/cparser INTFS=C.mli -SRCS=Errors.ml Cabs.ml Cabshelper.ml Parse_aux.ml Parser.ml Lexer.ml \ +SRCS=Cerrors.ml Cabs.ml Cabshelper.ml Parse_aux.ml Parser.ml Lexer.ml \ Machine.ml \ Env.ml Cprint.ml Cutil.ml Ceval.ml \ Builtins.ml GCC.ml \ -- cgit v1.2.3