diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-09-08 15:44:11 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-09-08 15:44:11 +0000 |
commit | b068e4229062a84548c1ae20487b273ea6bb37db (patch) | |
tree | c058e373adbee2129f7cff531c57a20488c1da5e /caml/Main2.ml | |
parent | a5b33dcab2e6218e9e17f36a26520fd1dabc58bb (diff) | |
download | compcert-b068e4229062a84548c1ae20487b273ea6bb37db.tar.gz compcert-b068e4229062a84548c1ae20487b273ea6bb37db.zip |
Suite de l'adaptation du front-end CIL
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@87 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'caml/Main2.ml')
-rw-r--r-- | caml/Main2.ml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/caml/Main2.ml b/caml/Main2.ml index 713af82b..bac473f9 100644 --- a/caml/Main2.ml +++ b/caml/Main2.ml @@ -78,14 +78,14 @@ let process_c_file sourcename = Cil2CsyntaxTranslator.convertFile cil with | Cil2CsyntaxTranslator.Unsupported msg -> - eprintf "Unsupported C feature: %s\n" msg; + eprintf "%s\n" msg; exit 2 - | Failure msg -> - eprintf "Error in translation CIL -> Csyntax:\n%s\n" msg; + | Cil2CsyntaxTranslator.Internal_error msg -> + eprintf "%s\nPlease report it.\n" msg; exit 2 in (* Save Csyntax if requested *) if !save_csyntax then begin - let oc = open_out (targetname ^ ".csyntax") in + let oc = open_out (targetname ^ ".clight") in PrintCsyntax.print_program (Format.formatter_of_out_channel oc) csyntax; close_out oc end; @@ -138,7 +138,7 @@ let starts_with s1 s2 = let rec parse_cmdline i = if i < Array.length Sys.argv then begin let s = Sys.argv.(i) in - if s = "-dcsyntax" then begin + if s = "-dump-c" then begin save_csyntax := true; parse_cmdline (i + 1) end else |