diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-02 10:59:27 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-02 10:59:27 +0200 |
commit | 4ac759d0bceef49d16197e3bb8c9767ece693c5e (patch) | |
tree | ef441de593a6088e5bbd23028a9d30ab11a12b24 | |
parent | c7832c32253cdc2123313731c7cbbace4fc8332c (diff) | |
download | compcert-4ac759d0bceef49d16197e3bb8c9767ece693c5e.tar.gz compcert-4ac759d0bceef49d16197e3bb8c9767ece693c5e.zip |
Added -dall which enables all tracing.
-rw-r--r-- | driver/Driver.ml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/driver/Driver.ml b/driver/Driver.ml index a0ec07f1..68615727 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -333,6 +333,7 @@ Code generation options: (use -fno-<opt> to turn off -f<opt>)\n\ \ -dltl Save LTL after register allocation in <file>.ltl\n\ \ -dmach Save generated Mach code in <file>.mach\n\ \ -dasm Save generated assembly in <file>.s\n\ +\ -dall Save all generated intermidate files in <file>.<ext>\n\ \ -sdump Save info for post-linking validation in <file>.json\n\ \ -doptions Save the compiler configurations in <file>.opt.json\n\ General options:\n\ @@ -440,6 +441,17 @@ let cmdline_actions = Exact "-dalloctrace", Set option_dalloctrace; Exact "-dmach", Set option_dmach; Exact "-dasm", Set option_dasm; + Exact "-dall", Self (fun _ -> + option_dprepro := true; + option_dparse := true; + option_dcmedium := true; + option_dclight := true; + option_dcminor := true; + option_drtl := true; + option_dalloctrace := true; + option_dmach := true; + option_dasm := true; + dump_options:=true); Exact "-sdump", Set option_sdump; Exact "-sdump-suffix", String (fun s -> option_sdump := true; sdump_suffix:= s); Exact "-doptions", Set dump_options; |