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

2 files changed, 28 insertions, 28 deletions

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 \