diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-07-29 09:15:36 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-07-29 09:15:36 +0200 |
| commit | 21156a2fcf48764762c7f2209fa850024378d83a (patch) | |
| tree | e56bb6ee6b8099b3520c4e97ccd1cd776ff9eb7a /driver | |
| parent | c7832c32253cdc2123313731c7cbbace4fc8332c (diff) | |
| download | compcert-21156a2fcf48764762c7f2209fa850024378d83a.tar.gz compcert-21156a2fcf48764762c7f2209fa850024378d83a.zip | |
Classified all warnings and added various options.
Now each warning either has a name and can be turned on/off, made
into an error,etc. or is a warning that always will be triggered.
The message of the warnings are similar to the ones emited by
gcc/clang and all fit into one line.
Furthermore the diagnostics are now colored if colored output is
available.
Bug 18004
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/Driver.ml | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/driver/Driver.ml b/driver/Driver.ml index a0ec07f1..038bd423 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -339,8 +339,9 @@ General options:\n\ \ -stdlib <dir> Set the path of the Compcert run-time library\n\ \ -v Print external commands before invoking them\n\ \ -timings Show the time spent in various compiler passes\n\ -\ -version Print the version string and exit\n\ -Interpreter mode:\n\ +\ -version Print the version string and exit\n" ^ + Cerrors.warning_help ^ +"Interpreter mode:\n\ \ -interp Execute given .c files using the reference interpreter\n\ \ -quiet Suppress diagnostic messages for the interpreter\n\ \ -trace Have the interpreter produce a detailed trace of reductions\n\ @@ -446,10 +447,11 @@ let cmdline_actions = (* General options *) Exact "-v", Set option_v; Exact "-stdlib", String(fun s -> stdlib_path := s); - Exact "-timings", Set option_timings; - Exact "-Werror", Set Cerrors.warn_error; + Exact "-timings", Set option_timings;] @ +(* Diagnostic options *) + Cerrors.warning_options @ (* Interpreter mode *) - Exact "-interp", Set option_interp; + [ Exact "-interp", Set option_interp; Exact "-quiet", Self (fun _ -> Interp.trace := 0); Exact "-trace", Self (fun _ -> Interp.trace := 2); Exact "-random", Self (fun _ -> Interp.mode := Interp.Random); |