From db4b46e5c5c5f98ccba37fc18a9ac48a0cba0ff5 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Mon, 6 Feb 2017 08:35:41 +0100
Subject: Add color diagnostics, show diagnostic option.

---
 src/flags.ads | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

(limited to 'src/flags.ads')

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;
-- 
cgit v1.2.3