From 9f59cc8640127459cc09f3110f0dcbad4000ed2d Mon Sep 17 00:00:00 2001
From: cderrien <65495526+cderrien@users.noreply.github.com>
Date: Mon, 16 May 2022 23:35:20 +0200
Subject: Add the -Wall flag.

---
 src/options.adb | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/src/options.adb b/src/options.adb
index 00da22ca5..bf94c3955 100644
--- a/src/options.adb
+++ b/src/options.adb
@@ -90,6 +90,14 @@ package body Options is
          Error_Msg_Option ("unknown warning identifier: " & Opt);
          return Option_Err;
       end if;
+      
+      -- Handle -Wall
+      if Opt = "all" then
+	 for I in Msgid_Warnings loop
+	    Enable_Warning(I, True);
+	 end loop;
+	 return Option_Ok;
+      end if;
 
       --  Normal warnings.
       for I in Msgid_Warnings loop
@@ -300,6 +308,7 @@ package body Options is
       P ("  -Wbody             warns for not necessary package body");
       P ("  -Wspecs            warns if a all/others spec does not apply");
       P ("  -Wunused           warns if a subprogram is never used");
+      P ("  -Wall              enables all warnings.");
       P ("  -Werror            turns warnings into errors");
 --    P ("Simulation option:");
 --    P ("  --assert-level=LEVEL     set the level which stop the");
-- 
cgit v1.2.3