diff options
| author |  xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-11-03 10:36:15 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-11-03 10:36:15 +0000 |
| commit | dcb9f48f51cec5e864565862a700c27df2a1a7e6 (patch) | |
| tree | b453b51b7406d3b1cf7191729637446a23ffc92c /cparser/.depend | |
| parent | bd93aa7ef9c19a4def8aa64c32faeb04ab2607e9 (diff) | |
Flocq-based parsing of floating-point literals (Jacques-Henri Jourdan)
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2065 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'cparser/.depend')
| -rw-r--r-- | cparser/.depend | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cparser/.depend b/cparser/.depend index 63cd2cb..0b38315 100644 --- a/cparser/.depend +++ b/cparser/.depend @@ -46,8 +46,8 @@ 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 Lexer.cmi -Lexer.cmx: Parser.cmx Parse_aux.cmx Cabshelper.cmx Lexer.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 Machine.cmo: Machine.cmi Machine.cmx: Machine.cmi Main.cmo: Parse.cmi GCC.cmi Cprint.cmi Builtins.cmi |