diff options
| author | Tristan Gingold <tgingold@free.fr> | 2017-02-06 08:35:41 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2017-02-06 08:35:41 +0100 |
| commit | db4b46e5c5c5f98ccba37fc18a9ac48a0cba0ff5 (patch) | |
| tree | 93558687cf658638e3e154aad8f6c0871a8786bc /src/flags.ads | |
| parent | e27f10a33792285471c66dd2b5f97bc47a93efc9 (diff) | |
| download | ghdl-db4b46e5c5c5f98ccba37fc18a9ac48a0cba0ff5.tar.gz ghdl-db4b46e5c5c5f98ccba37fc18a9ac48a0cba0ff5.tar.bz2 ghdl-db4b46e5c5c5f98ccba37fc18a9ac48a0cba0ff5.zip | |
Add color diagnostics, show diagnostic option.
Diffstat (limited to 'src/flags.ads')
| -rw-r--r-- | src/flags.ads | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/flags.ads b/src/flags.ads index 1bb59c806..cdcdd0202 100644 --- a/src/flags.ads +++ b/src/flags.ads @@ -153,4 +153,18 @@ package Flags is -- --warn-error -- Turns warnings into errors. Warn_Error : Boolean := False; + + -- If True, disp original source line and a caret indicating the column. + Flag_Caret_Diagnostics : Boolean := False; + + type On_Off_Auto_Type is (On, Off, Auto); + + -- -fcolor-diagnostics + -- -fno-color-diagnostics + -- Enable colors in diagnostic messages. The default is auto, which turns + -- on when a terminal is detected on the standard error. + Flag_Color_Diagnostics : On_Off_Auto_Type := Auto; + + -- -fdiagnostics-show-option + Flag_Diagnostics_Show_Option : Boolean := True; end Flags; |